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
Anmeldung erforderlich