Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Nets, Terms And Formulas
Nets, Terms And Formulas
Three Views of Concurrent Processes and their Relationship »
 
 
 
 
 

Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings »
 
 
 
 
 

Real-Time Systems
Real-Time Systems
Formal Specification And Automatic Verification »