Willkommen. Schön, sind Sie da!
Mein Ex Libris

Partial-Order Methods for the Verification of Concurrent Systems

(0)
Erste Bewertung abgeben
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolpe...

20%

84.00

CHF67.20

Sie sparen CHF 16.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband