Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
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... »
