An edition of Logics for concurrency
(1996)
Logics for Concurrency
Structure versus Automata (Lecture Notes in Computer Science)
1 edition
by G. M. Birtwistle
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Logics for concurrency: structure versus automata
1996, Springer
in English
3540609156 9783540609155
|
zzzz
Libraries near you:
WorldCat
|
2
Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science)
March 6, 1996, Springer
Paperback
in English
- 1 edition
3540609156 9783540609155
|
aaaa
Libraries near you:
WorldCat
|
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
ID Numbers
Community Reviews (0)
Feedback?
| 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 |