Verification of Sequential and Concurrent Programs

Book 14 of 16: Monographs in Computer Science

Apt, Krzysztof R.; Olderog, Ernst-Rudinger

ISBN 10: 0387975322 ISBN 13: 9780387975320
Published by Springer-Verlag, New York, 1991
Language: English
Condition: Used - Very good Hardcover

Sold by Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.

Association Member:

AbeBooks Seller since 13 December 2017

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Condition: Used - Very good

Price:
£ 37.99
£ 1.44 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket