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

Name: Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Price: 101.14 USD
Availability: InStock
ISBN: 9781848827448

by Apt, Krzysztof R., Boer, Frank S. de, Olderog, Ernst-RÃ¼diger

Marketplace Prices
New from $101.14

New
$101.14

Recommended

Item Details
Condition: New
Provider: LightningBooks
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9781848827448
ISBN: 184882744X
Edition: 3rd ed.
Publication Date: 2009
Publisher: Springer

AUTHOR

Apt, Krzysztof R., Boer, Frank S. de, Olderog, Ernst-RÃ¼diger

SUMMARY

Apt, Krzysztof R. is the author of 'Verification of Sequential and Concurrent Programs (Texts in Computer Science)', published 2009 under ISBN 9781848827448 and ISBN 184882744X.

[read more]