An edition of Verification of systems and circuits using LOTOS, Petri Nets, and CCS
(2008)
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
by Michael Yoeli, Michael Yoeli, and Rakefet Kol
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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 | Availability |
|---|---|
1
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
2010, Wiley & Sons, Incorporated, John
in English
0470653574 9780470653579
|
aaaa
|
2
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
March 14, 2008, Wiley-Interscience
Hardcover
in English
0471704490 9780471704492
|
zzzz
|
|
3
Verification of Systems and Circuits Using Lotos, Petri Nets, and CCS
2008, Wiley & Sons Canada, Limited, John
in English
128128467X 9781281284679
|
zzzz
|
|
4
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
2008, Wiley & Sons, Incorporated, John
in English
0470253398 9780470253397
|
zzzz
|
|
5
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
2008, Wiley & Sons, Incorporated, John
in English
047025341X 9780470253410
|
zzzz
|
6
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
2008, John Wiley & Sons
in English
0471704490 9780471704492
|
zzzz
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created August 23, 2020
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 23, 2020 | Created by ImportBot | Imported from Better World Books record |