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

by: Krzysztof Apt · Frank S. de Boer

Hardcover

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

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

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

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

ISBN: 978-1-84882-744-8

ISBN-10: 1-84882-744-X

Springer · 2009