Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931 (PDF)
17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
(Sprache: Englisch)
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...
The 19 full papers and 2 short papers included in this book were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
80.24 €
40 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931 (PDF)“
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.
Bibliographische Angaben
- 2023, 1st ed. 2023, 366 Seiten, Englisch
- Herausgegeben: Cristina David, Meng Sun
- Verlag: Springer Nature Switzerland
- ISBN-10: 3031352572
- ISBN-13: 9783031352577
- Erscheinungsdatum: 26.06.2023
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 14 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931"
0 Gebrauchte Artikel zu „Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931".
Kommentar verfassen