Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999)
Loot Price: R4,729
Discovery Miles 47 290
|
|
On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999)
Series: Monographs in Computer Science
Expected to ship within 10 - 15 working days
|
Here, the authors propose a method for the formal development of
parallel programs - or multiprograms as they prefer to call them.
They accomplish this with a minimum of formal gear, i.e. with the
predicate calculus and the well- established theory of Owicki and
Gries. They show that the Owicki/Gries theory can be effectively
put to work for the formal development of multiprograms, regardless
of whether these algorithms are distributed or not.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.