Normal view MARC view ISBD view

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS

Yoeli, Michael

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS - - New Jersey John Wiley & Sons 2008 - xvi,231p

ISBN: 9780471704492

ISSN:

Subjects--Index Terms: Integrated circuits - Verification Computer software - Verification LOTOS (computer programmes language) Petri nets

Dewey Class. No.: 621.3.049.77

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)