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

EUR 2,30 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. Bestandsnummer des Verkäufers 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

Beispielbild für diese ISBN

Gasteren A.J.M. van Feijen Wim
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

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

Zustand: New. pp. 396. Bestandsnummer des Verkäufers 18295945

Verkäufer kontaktieren

Neu kaufen

EUR 43,11
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

A.J.M. van Gasteren Wim Feijen
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: Books Puddle, New York, NY, USA

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

Zustand: New. pp. 396. Bestandsnummer des Verkäufers 26295939

Verkäufer kontaktieren

Neu kaufen

EUR 43,37
Währung umrechnen
Versand: EUR 7,88
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Gasteren A.J.M. van Feijen Wim
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

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

Zustand: New. pp. 396 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 7551964

Verkäufer kontaktieren

Neu kaufen

EUR 41,67
Währung umrechnen
Versand: EUR 10,50
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

0
Verlag: Springer, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover

Anbieter: Basi6 International, Irving, TX, USA

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

Zustand: Brand New. New. US edition. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-90488

Verkäufer kontaktieren

Neu kaufen

EUR 98,20
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
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: Romtrade Corp., STERLING HEIGHTS, MI, USA

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

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-89342

Verkäufer kontaktieren

Neu kaufen

EUR 98,20
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
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: BennettBooksLtd, North Las Vegas, NV, USA

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

hardcover. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-038798870X

Verkäufer kontaktieren

Neu kaufen

EUR 86,26
Währung umrechnen
Versand: EUR 38,51
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

W.H.J. Feijen|A.J.M. van Gasteren
Verlag: Springer New York, 1999
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

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

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Owick. Bestandsnummer des Verkäufers 5913543

Verkäufer kontaktieren

Neu kaufen

EUR 136,16
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

W. H. J. Feijen
ISBN 10: 038798870X ISBN 13: 9780387988702
Neu Hardcover
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

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

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 396 pp. Englisch. Bestandsnummer des Verkäufers 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: 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. Bestandsnummer des Verkäufers 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

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen