Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

On a Method of Multiprogramming

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

W. H. J. Feijen

Antonetta J. M. van Gasteren

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01421847

Založba Springer-Verlag New York Inc., december 2010

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

Koda Libristo: 01421847

353 b

145.69 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Puzzle 1000 CherryPazzi Mountain Dreams 30837

Sestavljanka

7.97 €

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.