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

Computer Aided Verification

(0)
Erste Bewertung abgeben
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer A...

20%

106.00

CHF84.80

Sie sparen CHF 21.20

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

Kein Rückgaberecht!

Kartonierter Einband