Verwandte Artikel zu On a Method of Multiprogramming (Monographs in Computer...

On a Method of Multiprogramming (Monographs in Computer Science) - Hardcover

 
9780387988702: On a Method of Multiprogramming (Monographs in Computer Science)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum1999
  • ISBN 10 038798870X
  • ISBN 13 9780387988702
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten396
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

390 p. Unread book. Like new. Minimum...
Diesen Artikel anzeigen

EUR 2,50 für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9781441931795: On a Method of Multiprogramming (Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  1441931791 ISBN 13:  9781441931795
Verlag: Springer, 2010
Softcover

Suchergebnisse für On a Method of Multiprogramming (Monographs in Computer...

Foto des Verkäufers

Feijen, W.H.J., van Gasteren A.J.M. und D. Gries:
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Gebraucht Hardcover

Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

1999. 390 p. Unread book. Like new. Minimum traces of storage. --- Ungelesenes Buch in neuwertigem Zustand. Minimale Lagerspuren. 9780387988702 Sprache: Englisch Gewicht in Gramm: 680 Hardcover: 15.6 x 2.2 x 23.4 cm. Artikel-Nr. 200345

Verkäufer kontaktieren

Gebraucht kaufen

EUR 29,90
Währung umrechnen
Versand: EUR 2,50
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

W. H. J. Feijen
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Neuware -Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch. Artikel-Nr. 9780387988702

Verkäufer kontaktieren

Neu kaufen

EUR 160,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

W. H. J. Feijen
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book. Artikel-Nr. 9780387988702

Verkäufer kontaktieren

Neu kaufen

EUR 168,73
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Feijen, W.H.J.; Gasteren, A.J.M. Van
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9780387988702_new

Verkäufer kontaktieren

Neu kaufen

EUR 169,04
Währung umrechnen
Versand: EUR 5,87
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb