Use the controls in the window below to browse, scroll, or search inside this book.

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

ISBN: 978-0-471-70449-2
Hardcover
248 pages
March 2008
List Price: US $139.25
Government Price: US $95.96
Enter Quantity:   Buy
This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.