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 Techniques, Modelling And Analysis Of Timed And Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, Formats 2004 and Formal Techniques in Real Time and Fault-tolerant Systems,... »
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, Formats 2004 and Formal Techniques in Real Time and Fault-tolerant Systems,... »
Concurrency Verification
An introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods, the presentation... »
An introduction to compositional proof methods for the state-based verification of con-current programmes, and to non-compositional methods, the presentation... »
Ideeënbus
