Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931 (PDF)

Name: Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931
Brand: Springer Nature Switzerland
SKU: 149199971
Price: 82.49 EUR
Availability: OnlineOnly

17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Theoretical Aspects of Software Engineering / Lecture Notes in Computer Science Bd.13931".

Merken

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...

Mehr zum Inhalt Video

eBook (pdf) 82.49 €

Buch (Kartoniert) 82.49 €

sofort als Download lieferbar

Bestellnummer: 149199971

eBook (pdf) 82.49 €

Download bestellen

Verschenken

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
eBook Hilfe
Biblio. Angaben / 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.