Verification of systems and circuits using LOTOS, Petri Nets, and CCS - Info and Reading Options
By Michael Yoeli ( 1917 - )
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Author: Michael Yoeli
“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 Identifiers:
- The Open Library ID: OL12388731W
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.