Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

On a Method of Multiprogramming

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

W. H. J. Feijen

Antonetta J. M. van Gasteren

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01421847

Uitgeverij Springer-Verlag New York Inc., december 2010

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

Libristo-code: 01421847

373 b

154.16 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Buscando Fotografias Vicente Garcia

Gebonden (paperback)

29.39 €

Puzzle 1000 CherryPazzi Mountain Dreams 30837

Puzzel

8.98 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam On a Method of Multiprogramming

Auteur W. H. J. Feijen, Antonetta J. M. van Gasteren

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2010

Aantal pagina's 370

EAN 9781441931795

ISBN 1441931791

Libristo-code 01421847

Uitgeverij Springer-Verlag New York Inc.

Gewicht 1210

Afmetingen 155 x 235 x 22

Categorieën

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp > Parallelverwerking

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger