Verification of Sequential and Concurrent Programs
Texts in Computer Science
Apt, Krzysztof R/de Boer, Frank S/Olderog, Ernst-Rüdiger
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 05.10.2009
Umfang: xxiv, 502 S., 26 s/w Illustr., 502 p. 26 illus.
Sprache: ENG
Einband: GEB
ISBN/EAN: 9781848827448
Umbreit-Nr.: 1531905
