Articles liés à Theoretical Aspects of Software Engineering: 17th Internatio...
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings - Couverture souple
Synopsis
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.
The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 80,45
EUR 2,27 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Theoretical Aspects of Software Engineering: 17th Internatio...
Image d'archives
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 46072991-n
Quantité disponible : 15 disponible(s)
Image d'archives
Theoretical Aspects of Software Engineering (Paperback)
Edité par
Springer International Publishing AG, Cham, 2023
ISBN 10 : 3031352564
ISBN 13 : 9783031352560
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. verification and testing for AI systems; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031352560
Quantité disponible : 1 disponible(s)
Image d'archives
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031352560_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Edité par
Springer, 2023
ISBN 10 : 3031352564
ISBN 13 : 9783031352560
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 46072991
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Theoretical Aspects of Software Engineering
Edité par
Springer Nature Switzerland Jun 2023, 2023
ISBN 10 : 3031352564
ISBN 13 : 9783031352560
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions.They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; andAI for formal methods. 376 pp. Englisch. N° de réf. du vendeur 9783031352560
Quantité disponible : 2 disponible(s)
Image d'archives
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4?6, 2023, Proceedings: 13931
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26396943201
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Theoretical Aspects of Software Engineering
Edité par
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10 : 3031352564
ISBN 13 : 9783031352560
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed. N° de réf. du vendeur 873621279
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4?6, 2023, Proceedings: 13931
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 400515262
Quantité disponible : 4 disponible(s)
Image d'archives
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 46, 2023, Proceedings
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2023. 2023 ed. paperback. . . . . . N° de réf. du vendeur V9783031352560
Quantité disponible : 15 disponible(s)
Image d'archives
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4?6, 2023, Proceedings: 13931
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18396943211
Quantité disponible : 4 disponible(s)