Detailansicht

Verification of Sequential and Concurrent Programs

Texts in Computer Science
Springer Verlag GmbH
ISBN/EAN: 9781848827448
Umbreit-Nr.: 1531905

Sprache: Englisch
Umfang: xxiv, 502 S., 26 s/w Illustr., 502 p. 26 illus.
Format in cm:
Einband: gebundenes Buch

Erschienen am 05.10.2009
Auflage: 3/2010
€ 106,99
(inklusive MwSt.)
Lieferbar innerhalb 1 - 2 Wochen
Beim Buchhandel bestellen