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

eBookPDFElectronic Book
Verkaufsrang1568inProgrammation (eBook)
CHF177.00

Produktinformationen

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
ProduktarteBook
EinbandElectronic Book
FormatPDF
Format HinweisWasserzeichen
Erscheinungsdatum29.06.2013
Auflage1999
ReiheMonographs in Computer Science
Seiten370 Seiten
SpracheEnglisch
IllustrationenXX, 370 p.
WarengruppeEnglish
KategorieProgrammation (eBook)
Weitere Details

Reihe

Kritiken und Kommentare

Über die Autorin/den Autor

Vorschläge

Zuletzt von mir angeschaut