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
Specifying Software
An innovative hands-on introduction to techniques for specifying the behaviour of software components, this text is primarily intended for use as part of a c... »
An innovative hands-on introduction to techniques for specifying the behaviour of software components, this text is primarily intended for use as part of a c... »
Semantics Of Programming Languages
Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calc... »
Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calc... »
Ideeënbus
