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

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

by Michael Yoeli (Author), RakefetKol (Author)

$149.04

Quantity

20+ in stock

More Information

Format: Hardcover
 Pages: 231
 Publisher: Wiley-Blackwell
Published: 15 Apr 2008
ISBN 10: 0471704490
ISBN 13: 9780471704492