044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

On a Method of Multiprogramming

E-BookPDFE-Book
Verkaufsrang52218inInformatik EDV
CHF177.00

Beschreibung

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.
Weitere Beschreibungen

Details

Weitere ISBN/GTIN9781475731262
ProduktartE-Book
EinbandE-Book
FormatPDF
Format HinweisWasserzeichen
Erscheinungsdatum29.06.2013
Auflage1999
ReiheMonographs in Computer Science
Seiten370 Seiten
SpracheEnglisch
IllustrationenXX, 370 p.
Artikel-Nr.10257220
KatalogVC
Datenquelle-Nr.4507957
WarengruppeInformatik EDV
Weitere Details

Reihe

Über den/die AutorIn