Produktnummer:
189fefacc6e6ea4fbc97a6853fb97d17e4
| Themengebiete: | Applications Computer Science Conference Proceedings Informatics Logic and verification Programming logic Proof theory Research Semantics and reasoning Theory of computation |
|---|---|
| Veröffentlichungsdatum: | 15.07.2024 |
| EAN: | 9783031646256 |
| Sprache: | Englisch |
| Seitenzahl: | 474 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Chin, Wei-Ngan Xu, Zhiwu |
| Verlag: | Springer International Publishing |
| Untertitel: | 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings |
Produktinformationen "Theoretical Aspects of Software Engineering"
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen