Verified Software. Theories, Tools, and Experiments Thomas Wies (u. a.) Buch
Ø 0.0
0 Bewertungen
51,90 €
Titel: Verified Software. Theories, Tools, and Experiments | Zusatz: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers | Medium: Taschenbuch | Redaktion: Thomas Wies (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiii / 211 S. / 69 s/w Illustr. / 211 p. 69 illus. | Auflage: 1st edition 2017 | Sprache: Englisch | Seiten: 228 | Maße: 235 x 155 x 13 mm | Erschienen: 15.12.2017 | Anbieter: Buchbär.
Jetzt bei Ebay:
-
Publikationsname:Verified Software. Theories, Tools, and Experiments
-
Autor:Thomas Wies
-
Produktart:Mathematik
-
Erscheinungsjahr:2017
-
Sprache:Englisch
-
Anzahl der Seiten:228
-
Marke:Springer Nature Switzerland, Springer International Publishing
-
Hersteller:Springer Nature Switzerland, Springer International Publishing
-
Herstellernummer:978-3-319-72307-5
-
Verlag:Springer Nature Switzerland, Springer International Publishing
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:1st edition 2017
-
Titelzusatz:9th International Conference, VSTTE 2017, Heidelberg, Germany, Ju
-
Schlagworte:Informatik, Compiler und Übersetzer, EDV, Bildbearbeitung, Bildve
-
Redaktion:Thomas Wies
-
Herstellungsland und -region:Deutschland
-
ISBN:3319723073
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 11. June 2025 und 12. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere