Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Info and Reading Options
By Michael Yoeli, Michael Yoeli and Rakefet Kol
"Verification of systems and circuits using LOTOS, Petri Nets, and CCS" was published by John Wiley & Sons in 2008 - Hoboken, N.J and the language of the book is English.
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Authors: Michael YoeliMichael YoeliRakefet Kol
- Language: English
- Publisher: John Wiley & Sons
- Publish Date: 2008
- Publish Location: Hoboken, N.J
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Subjects and Themes:
- Subjects: ➤ Verification - Petri nets - Computer software - LOTOS (Computer program language) - Integrated circuits - Software engineering - Computers - Technology & Industrial Arts - Computer Books: General - Electronics - Circuits - General - Computers / Computer Engineering - Computer Engineering - Parallel programming (computer science) - Electronic data processing, distributed processing
Edition Specifications:
- Pagination: p. cm.
Edition Identifiers:
- The Open Library ID: OL18339450M - OL12388731W
- Library of Congress Control Number (LCCN): 2007033487
- ISBN-13: 9780471704492
- All ISBNs: 9780471704492
AI-generated Review of “Verification of systems and circuits using LOTOS, Petri Nets, and CCS”:
Read “Verification of systems and circuits using LOTOS, Petri Nets, and CCS”:
Read “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” by choosing from the options below.
Search for “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” in Libraries Near You:
Read or borrow “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” at a library near you.
Buy “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” online:
Shop for “Verification of systems and circuits using LOTOS, Petri Nets, and CCS” on popular online marketplaces.
- Ebay: New and used books.