Noch Fragen? 0800 / 33 82 637

Handbook of Model Checking

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-030-13233-0 / 978-3030132330 / 9783030132330

Verlag: Springer International Publishing

Erscheinungsdatum: 14.11.2020

Seiten: 1212

Herausgegeben von Helmut Veith, Edmund M. Clarke, Thomas A. Henzinger, Roderick Bloem

139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück