Buy Used and New RakefetKol Books

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

by Michael Yoeli,Rakefet Kol

ISBN 13: 9780471704492

Format: Hardcover (231 pages)
Publisher: Wiley-Blackwell
Published: 15 Apr 2008

Save for later