Patrick Godefroid | Model Checking Software | Taschenbuch | Englisch (2005)
Ø 0.0
0 Bewertungen
49,95 €
Titel: Model Checking Software | Zusatz: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings | Medium: Taschenbuch | Redaktion: Patrick Godefroid | Einband: Kartoniert / Broschiert | Inhalt: xii / 292 S. | Auflage: 2005 | Sprache: Englisch | Seiten: 304 | Maße: 235 x 155 x 17 mm | Erschienen: 09.08.2005 | Anbieter: Faboplay.
Jetzt bei Ebay:
-
Publikationsname:Model Checking Software
-
Autor:Patrick Godefroid
-
Produktart:Mathematik
-
Erscheinungsjahr:2005
-
Sprache:Englisch
-
Anzahl der Seiten:304
-
Marke:Springer Berlin, Springer Berlin Heidelberg
-
Hersteller:Springer Berlin, Springer Berlin Heidelberg
-
Herstellernummer:11537328
-
Verlag:Springer Berlin, Springer Berlin Heidelberg
-
Format:Taschenbuch
-
Genre:Mathematik, Naturwissenschaften, Technik, Medizin
-
Ausgabe:2005
-
Titelzusatz:12th International SPIN Workshop, San Francisco, CA, USA, August
-
Schlagworte:Informatik, Compiler und Übersetzer, EDV, Theorie, Software-Entw,
-
Redaktion:Patrick Godefroid
-
Herstellungsland und -region:Deutschland
-
ISBN:3540281959
-
Standardversand:DHL Paket 2,95 EUR - Lieferung zwischen 07. June 2025 und 10. 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
