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

Serdar Tasiran (u. a.) | Computer Aided Verification | Taschenbuch | Englisch

Ø 0.0

0 Bewertungen

49,95 €

Titel: Computer Aided Verification | Zusatz: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II | Medium: Taschenbuch | Redaktion: Serdar Tasiran (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xx / 549 S. / 1167 s/w Illustr. / 42 farbige Illustr. / 549 p. 1209 illus. / 42 illus. in color. | Auflage: 1st edition 2019 | Sprache: Englisch | Seiten: 572 | Maße: 235 x 155 x 31 mm | Erschienen: 13.07.2019 | Anbieter: Faboplay.

Jetzt bei Ebay:

Publikationsname:

Computer Aided Verification
Autor:

Serdar Tasiran
Produktart:

Mathematik
Erscheinungsjahr:

2019
Sprache:

Englisch
Anzahl der Seiten:

572
Marke:

Springer Nature Switzerland, Springer International Publishing
Hersteller:

Springer Nature Switzerland, Springer International Publishing
Verlag:

Springer Nature Switzerland, Springer International Publishing
Format:

Taschenbuch
Genre:

Mathematik, Naturwissenschaften, Technik, Medizin
Ausgabe:

1st edition 2019
Titelzusatz:

31st International Conference, CAV 2019, New York City, NY, USA,
Schlagworte:

Informatik, Software Engineering, EDV, Informationstechnik, IT, a
Redaktion:

Serdar Tasiran
Herstellungsland und -region:

Deutschland
ISBN:

3030255425

Standardversand:

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