Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

On a Method of Multiprogramming

Name: On a Method of Multiprogramming
Brand: Springer-Verlag New York Inc.
SKU: 01421847
Price: 168.02 EUR
Availability: InStock
Author: W. H. J. Feijen
ISBN: 9781441931795

W. H. J. Feijen

Antonetta J. M. van Gasteren

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01421847

Nakladnici Springer-Verlag New York Inc., prosinac 2010

Here, the authors propose a method for the formal development of parallel programs - or multiprogram... Cijeli opis

Libristo kod: 01421847

406 b

168.02 €

Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

Buscando Fotografias Vicente Garcia

Meki uvez

25.63 €

Multifunctional Coordination Materials for Green Energy Technologies Ghulam Yasin

Tvrdi uvez

235.42 €

Puzzle 1000 CherryPazzi Mountain Dreams 30837

Puzzle

8.50 €

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.