Protzenko jonathan (5 Ergebnisse)
- Softcover
Anbieter: Gallix, Gif sur Yvette, FrankreichGallix
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 32,40
EUR 23,24 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: Neuf.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,67
EUR 11,77 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 130 pages. 9.25x6.10x9.21 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,82
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.…
- Hardcover
Anbieter: Steamhead Records & Books, Rodgau-Nieder-Roden, DeutschlandSteamhead Records & Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 4,00
EUR 46,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
24 cm, 351 Seiten, mit Illustrationen, weißer illustrierter Pappband. nur leichte Gebrauchsspuren, gut bis sehr gut erhalten. Sprache: Deutsch.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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.…
