Verwandte Artikel zu Theoretical Aspects of Software Engineering: 17th Internatio...
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings: 13931 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 80,24
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Theoretical Aspects of Software Engineering: 17th Internatio...
Foto des Verkäufers
Theoretical Aspects of Software Engineering
ISBN 10: 3031352564
ISBN 13: 9783031352560
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch. Artikel-Nr. 9783031352560
Anzahl: 2 verfügbar
Foto des Verkäufers
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4¿6, 2023, Proceedings
Verlag:
Springer Nature Switzerland, 2023
ISBN 10: 3031352564
ISBN 13: 9783031352560
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783031352560
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031352560_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Software Engineering: 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock. Artikel-Nr. x-3031352564
Anzahl: 2 verfügbar