Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS : Michael Yoeli, : 9780470253410 : Blackwell's

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

Audio-visual / Multimedia Item (31 Mar 2008)

Not available for sale

Out of stock

About the Publisher

Wiley Blackwell

Wiley is a global provider of content-enabled solutions to improve outcomes in research, education and professional practice with online tools, journals, books, databases, reference works and laboratory protocols. With strengths in every major academic, scientific and professional field, and strong brands including Wiley Blackwell and Wiley VCH, Wiley proudly partners with over 800 prestigious societies representing two million members.

ISBN:	9780470253410
Publisher:	Wiley-Blackwell
Imprint:	Wiley Blackwell
Pub date:	31 Mar 2008
Language:	English
Number of pages:	248 .
Weight:	-1g

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

Other formats & editions

About the Publisher

Book information

We recommend