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

Programmverifikation
Programmverifikation
Sequentielle, parallele und verteilte Programme »
 
 
 
 
 

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

Real-Time Systems
Real-Time Systems
 »
 
 
 
 
 

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

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