Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
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... »
