Pierre Wolper Wolper Verification Algorithms for Concurrent and Reactive Systems

Verification Algorithms for Concurrent and Reactive Systems

von Pierre Wolper

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Pierre Wolper

Stimmen zu »Verification Algorithms for Concurrent and Reactive Systems«

Details

ISBN: 9780387948126
Verlag: Springer US
Erscheinung:

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden