Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

On a Method of Multiprogramming

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

W. H. J. Feijen

Antonetta J. M. van Gasteren

Sprache

Englisch

Buch Broschur

Libristo-Code: 01421847

Verlag Springer-Verlag New York Inc., Dezember 2010

Here, the authors propose a method for the formal development of parallel programs - or multiprogram... Vollständige Beschreibung

Libristo-Code: 01421847

394 b

160.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Puzzle 1000 CherryPazzi Mountain Dreams 30837

Puzzle

9.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name On a Method of Multiprogramming

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 370

EAN 9781441931795

ISBN 1441931791

Libristo-Code 01421847

Verlag Springer-Verlag New York Inc.

Gewicht 1210

Abmessungen 155 x 235 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf > Parallelrechner, parallele Verarbeitung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert