Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

by: Krzysztof R. Apt · Ernst-Rudiger Olderog

Hardcover

details (USA).
(see also: eBook (Kindle))

details (United Kingdom).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-387-97532-0

ISBN-10: 0-387-97532-2

Springer Verlag · 1991