Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 46, 2023, Proceedings
N/A
ISBN 10: 3031352564 ISBN 13: 9783031352560
Verlag: Springer, 2023
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
2023. 2023 ed. paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783031352560
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Theoretical Aspects of Software Engineering:...
Verlag: Springer
Erscheinungsdatum: 2023
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
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
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
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
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