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 edition 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
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| September 28, 2018 | Edited by MARC Bot | correction |
| July 28, 2014 | Edited by ImportBot | import new book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |