Leveraging Applications of Formal Methods, Verification, and Validation Reiner H
Ø 0.0
0 Bewertungen
69,54 €
Titel: Leveraging Applications of Formal Methods, Verification, and Validation, Untertitel: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers, Einband: Taschenbuch, Autor: Reiner Hähnle, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 276, Maße: 235x155x16 mm, Gewicht: 423 g, Verkäufer: buch-mimpf, Schlagworte: Autonomous Robots Software Engineering Web Services automata learning knowledge management.
Jetzt bei Ebay:
-
Verlag:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Autor:Reiner Hähnle
-
Seiten:276
-
Gewicht:423
-
Einband:Taschenbuch
-
Format:235x155x16 mm
-
Sprache:Englisch
-
Marke:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Leveraging Applications of Formal Methods, Verification, and V...
-
Erscheinungsjahr:20121012
-
Produktart:Bücher
-
Buchtitel:Leveraging Applications of Formal Methods, Verification, and V...
-
Untertitel:International Workshops, SARS 2011 and MLSC 2011, held under t...
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Leveraging Applications of Formal Methods, Verification, and V...
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Autonomous Robots Software Engineering Web Services automat...
-
ISBN:9783642347801
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere