Verified Software. Theories, Tools and Experiments | 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Jonathan Protzenko (u. a.)
ISBN 10: 3031866940 ISBN 13: 9783031866944
Editore: Springer, 2025
Nuovi
Taschenbuch
Da
preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Verified Software. Theories, Tools and Experiments | 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers | Jonathan Protzenko (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2025 | Springer | EAN 9783031866944 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 132607854
Riassunto:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Verified Software. Theories, Tools and ...
Casa editrice: Springer
Data di pubblicazione: 2025
Legatura: Taschenbuch
Condizione: Neu