The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Amir Pnueli (Foreword), KrzysztofR.Apt (Author), Ernst-RüdigerOlderog (Contributor), Frank S .de Boer (Contributor)

$86.36

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 528
 Edition: 2009
 Publisher: Springer
Published: 14 Mar 2012
ISBN 10: 1447125134
ISBN 13: 9781447125136