Von dem Buch Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sous la direction de: J. W. de Bakker, Sous la direction de: Willem-Paul de Roever, Sous la direction de: Grzegorz Rozenberg, Sous la direction de: Marek Warpechowski: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) (ISBN: 9783540525592) 1990, Springer Apr 1990, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
77%: De Bakker, J. W.; De Roever, W.P.; Rosenberg, G. (Eds. ): Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 Proceedings (Lecture Notes in Computer Science 430) (ISBN: 9780387525594) 1990, Springer-Verlag, Berlin, in Englisch, Broschiert.Nur diese Ausgabe anzeigen…
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)
10 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 96,09 | € 118,93 | € 118,99 | € 130,11 |
| Nachfrage |
1
Symbolbild
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 Proceedings (Lecture Notes in Computer Science 430) (1990)
EN PB USISBN: 9780387525594 bzw. 0387525599, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1990. Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Good/No Dust Jacket. Ex-Library.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1990. Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Good/No Dust Jacket. Ex-Library.
2
Symbolbild
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 Proceedings (Lecture Notes in Computer Science 430) (1990)
EN PB USISBN: 9780387525594 bzw. 0387525599, in Englisch, Springer-Verlag, Berlin, Taschenbuch, gebraucht.
Von Händler/Antiquariat, PsychoBabel & Skoob Books [2917279], Didcot, OXON, United Kingdom.
Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.
Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.
3
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) (1990)
DE USISBN: 9783540525592 bzw. 3540525599, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
824 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 655067.01.
824 Seiten TaschenbuchGepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 655067.01.
4
Symbolbild
Stepwise Refinement of Distributed Systems (1990)
EN PBISBN: 9780387525594 bzw. 0387525599, in Englisch, Springer Verlag, Taschenbuch.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Anybook Ltd.
Springer Verlag; , 1990. Proceedings (Lecture Notes in Computer Science, 430)..Paperback,Ex-Library,with usual stamps markings,in good all-round condition,no dust jacket,pages.
Von Händler/Antiquariat, Anybook Ltd.
Springer Verlag; , 1990. Proceedings (Lecture Notes in Computer Science, 430)..Paperback,Ex-Library,with usual stamps markings,in good all-round condition,no dust jacket,pages.
5
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) (1990)
DE USISBN: 9783540525592 bzw. 3540525599, in Deutsch, Springer, Berlin, gebraucht.
Mosakowski & Stiasny GbR, [3737242].
808 Seiten TaschenbuchSofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/.
808 Seiten TaschenbuchSofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/.
6
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science) (1990)
EN PB USISBN: 9780387525594 bzw. 0387525599, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Better World Books: North.
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1990-06, Studio: Springer-Verlag, Verkaufsrang: 14828356.
Von Händler/Antiquariat, Better World Books: North.
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1990-06, Studio: Springer-Verlag, Verkaufsrang: 14828356.
7
Stepwise Refinement of Distributed Systems (1990)
DE PB NW RPISBN: 9783540525592 bzw. 3540525599, in Deutsch, Springer Apr 1990, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Symbolbild
Stepwise Refinement of Distributed Systems Models Formalisms Correctness REX Workshop Mook The Netherlands May 29 June 2 1989 Proceedings Vol 430 1990 Hardcover (1990)
EN HC USISBN: 9780387525594 bzw. 0387525599, in Englisch, Springer, Deutschland, gebundenes Buch, gebraucht.
Von Händler/Antiquariat, Castle Rock [54302400], Pittsford, NY, U.S.A.
Book Condition: Good.
Book Condition: Good.
9
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) (1990)
DE USISBN: 9783540525592 bzw. 3540525599, in Deutsch, Springer, gebraucht.
Von Händler/Antiquariat, Better World Books Ltd [53572034], Dunfermline, United Kingdom.
Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside.
Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside.
10
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science) (1990)
DE PB NWISBN: 9783540525592 bzw. 3540525599, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
Lade…