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 ».
Books
A Process Algebraic Approach to Software Architecture Design
Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but... »
Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but... »
Formal Methods For Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Adva... »
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Adva... »
Formal Methods For Performance Evaluation
Advanced Lectures 7th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2007, Bertinoro, Italy, May... »
Advanced Lectures 7th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2007, Bertinoro, Italy, May... »
Formal Methods For Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 »
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 »
Idea box
