Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Computers, congressesShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)
September 18, 1998, Springer
Paperback
in English
- 1 edition
3540648968 9783540648963
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Temporal logics, which arc modal logics geared towards the description of the temporal ordering of events, have been adopted as a powerful tool for specifying and verifying concurrent programs [36]."
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?October 5, 2021 | Edited by ImportBot | import existing book |
July 28, 2014 | Created by ImportBot | import new book |