An edition of Logics for concurrency
(1996)
Logics for Concurrency
Structure versus Automata (Lecture Notes in Computer Science)
1 edition
by G. M. Birtwistle
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science)
March 6, 1996, Springer
Paperback
in English
- 1 edition
3540609156 9783540609155
|
aaaa
|
2
Logics for concurrency: structure versus automata
1996, Springer
in English
3540609156 9783540609155
|
zzzz
|
Book Details
First Sentence
"There has been a great deal of effort spent on developing methodologies for specifying and reasoning about the logical properties of systems, be they hardware or software."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 29, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| February 4, 2019 | Created by MARC Bot | import existing book |