On a Method of Multiprogramming / Monographs in Computer Science (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
Printausgabe 164.99 €
eBook (pdf) -7%
153.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „On a Method of Multiprogramming / Monographs in Computer Science (PDF)“
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.
Bibliographische Angaben
- Autoren: W. H. J. Feijen , A. J. M. Van Gasteren
- 2013, 1999, 370 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 1475731264
- ISBN-13: 9781475731262
- Erscheinungsdatum: 29.06.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 22 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "On a Method of Multiprogramming / Monographs in Computer Science"
Schreiben Sie einen Kommentar zu "On a Method of Multiprogramming / Monographs in Computer Science".
Kommentar verfassen