Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Mizuhito Ogawa (u. a.) | Automated Technology for Verification and Analysis

Ø 0.0

0 Bewertungen

49,95 €

Titel: Automated Technology for Verification and Analysis | Zusatz: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings | Medium: Taschenbuch | Redaktion: Mizuhito Ogawa (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 528 S. / 115 s/w Illustr. / 528 p. 115 illus. | Auflage: 2013 | Sprache: Englisch | Seiten: 544 | Maße: 235 x 155 x 30 mm | Erschienen: 11.09.2013 | Anbieter: Faboplay.

Jetzt bei Ebay:

Buchtitel:

Automated Technology for Verification and Analysis
Autor:

Mizuhito Ogawa
Sprache:

Englisch
Erscheinungsjahr:

2013
Anzahl der Seiten:

544
Marke:

Springer International Publishing
Hersteller:

Springer International Publishing
Verlag:

Springer International Publishing
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

2013
Titelzusatz:

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October
Schlagworte:

Informatik, Netzwerk-Hardware, EDV, Compiler und Übersetzer, Soft
Redaktion:

Mizuhito Ogawa
Herstellungsland und -region:

Deutschland
ISBN:

3319024434

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 17. May 2025 und 19. May 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