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