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

by: Michael Yoeli · Rakefet Kol

Hardcover

details (USA).
(see also: eBook (Kindle))

details (United Kingdom).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-0-471-70449-2

ISBN-10: 0-471-70449-0

Wiley-Interscience · 2008