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), Frank S .de Boer (Contributor), Ernst-RüdigerOlderog (Contributor)

$81.47

Quantity

10 in stock

More Information

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