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

Using Standard Z.
Using Standard Z.
Specification, Proof And Refinement »
 
 
 
 
 

Fm 99 - Formal Methods
Fm 99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings »
 
 
 
 
 

Specification And Proof In Real Time Csp
Specification And Proof In Real Time Csp
Distinguished Dissertations in Computer Science »