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
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
