Bei bookbox finden Sie eine riesige Auswahl an Büchern aller Genres. Egal, ob Bestseller, Klassiker oder Geheimtipps - wir haben für jeden Lesegeschmack etwas dabei.
Suchen
Suchen

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Autor:

Springer International Publishing;Springer Nature Switzerland

Verlag:

Springer International Publishing;Springer Nature Switzerland

Sprache:

English
Keine Beschreibung für das Buch

CHF 69.00

Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
Untertitel
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
ISBN
978-3-030-31783-6
EAN
9783030317836
Erscheinungsjahr
10/6/2019
Edition
19001 A. 1st edition 2019
Verlag
Springer International Publishing;Springer Nature Switzerland
Sprache
English
Springer International Publishing;Springer Nature Switzerland weitere Bücher

Bewertungen

0 Bewertungen