It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
January 15, 2023
Edit
History of edits to

Formal techniques in real-time and fault-tolerant systems.

Revision When Who Comment Diff
8 January 15, 2023
ImportBot
 import existing book    
7 October 28, 2022
ImportBot
 import existing book    
6 October 4, 2021
ImportBot
 import existing book    
5 June 30, 2019
MARC Bot
 import existing book    
4 April 3, 2019
MARC Bot
 import existing book    
3 August 18, 2010
IdentifierBot
 added LibraryThing ID    
2 April 16, 2010
bgimpertBot
 Added goodreads ID.    
1 September 24, 2008
ImportBot
 Imported from Talis record