Anbieter: Gallix, Gif sur Yvette, Frankreich
Zustand: Neuf.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 75,95
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock.
Sprache: Deutsch
Verlag: München, Open Source Press., 2007
ISBN 10: 3937514236 ISBN 13: 9783937514239
Anbieter: Steamhead Records & Books, Rodgau-Nieder-Roden, Deutschland
24 cm, 351 Seiten, mit Illustrationen, weißer illustrierter Pappband. nur leichte Gebrauchsspuren, gut bis sehr gut erhalten. Sprache: Deutsch.
Sprache: Englisch
Verlag: Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031866940 ISBN 13: 9783031866944
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 theinteraction of theory development, tool evolution and experimental validation in science and technology of software verification.
Taschenbuch. Zustand: Neu. 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.