Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

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

Discovery Miles 44 970

Repayment Terms: R421 pm x 12*

Add to cart

On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999): W.H.J. Feijen

On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999)

W.H.J. Feijen; Foreword by D. Gries; A.J.M. van Gasteren

Series: Monographs in Computer Science

(sign in to rate)

Loot Price R4,497 Discovery Miles 44 970 | Repayment Terms: R421 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	Monographs in Computer Science
Release date:	December 2010
First published:	1999
Authors:	W.H.J. Feijen
Foreword by:	D. Gries
Authors:	A.J.M. van Gasteren
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	370
Edition:	Softcover reprint of hardcover 1st ed. 1999
ISBN-13:	978-1-4419-3179-5
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	1-4419-3179-1
Barcode:	9781441931795