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

Security Of Computer Architectures
Security Of Computer Architectures
Security of Computer Architectures »
 
 
 
 
 

Static Analysis Of Software
Static Analysis Of Software
The Abstract Interpretation »
 
 
 
 
 

Formal Method
Formal Method
Industrial Used from Model to the Code »
 
 
 
 
 

Industrial Used of Formal Method
Industrial Used of Formal Method
Formal Verification »
 
 
 
 
 

Expression et validation des exigences de sécurité
Expression et validation des exigences de sécurité
Exemple de mise en oeuvre dans les systèmes critiques à base de logiciel »