An edition of Formal techniques, modelling and analysis of timed and fault-tolerant systems
(2004)
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science)
1 edition
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science)
December 14, 2004, Springer
Paperback
in English
- 1 edition
3540231676 9783540231677
|
aaaa
|
Book Details
First Sentence
"Digital voting technologies are currently very topical and hotly debated, especially in the US with a presidential election looming."
The Physical Object
ID Numbers
Community Reviews (0)
| July 28, 2014 | Created by ImportBot | import new book |