Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783031866944 |
| Sprache | Englisch |
| Erscheinungsdatum | 03.05.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Jonathan Protzenko, Azalea Raad |
| Lieferzeit | Lieferbar in 6 Tagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783031866944 |
| Sprache | Englisch |
| Erscheinungsdatum | 03.05.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Jonathan Protzenko, Azalea Raad |
| Lieferzeit | Lieferbar in 6 Tagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
