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
On A Method Of Multiprogramming
The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theo... »
The authors propose a method for the formal development of parallel programs, using predicate calculus and Owicki and Gires' theory. They show that this theo... »
