Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Stepwise Refinement of Distributed Systems

Name: Stepwise Refinement of Distributed Systems
Brand: Springer, Berlin
SKU: 05274143
Price: 107.29 EUR
Availability: InStock
Author: Jaco W. De Bakker
ISBN: 9783540525592

Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, may 29 - June 2, 1989, Proceedings

Jaco W. De Bakker

Willem-Paul De Roever

Grzegorz Rozenberg

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274143

Verlag Springer, Berlin, April 1990

The stepwise refinement method postulates a system construction route that starts with a high-level... Vollständige Beschreibung

Libristo-Code: 05274143

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ce soir, c'est relâche Menu

Broschur

18.99 €

Links Natsuki Kizu

Broschur

7.39 €

Namibia. Rossi deserti e parchi nazionali. Paesi del mondo. National Geographic

Hardcover

17.89 €

Mil (1000) Questions et Réponses sur la Bible: Pour Enfants et Adultes Rev Francois Kara Akoa-Mongo Dr

Broschur

10.69 €

Gedichte Hugo Zuckermann

Broschur

14.29 €

Lieder Kiga Weihnachtsfeier Various

Audio CD

11.39 €

Ansprüche indigener Völker auf Rückführung rechtswidrig ausgeführten Kulturgutes Kerstin Asmuss

Broschur

60.59 €

Jesus der Hund Bernhard Lang

Broschur

14.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Stepwise Refinement of Distributed Systems

Autor Jaco W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1990

Anzahl der Seiten 812

EAN 9783540525592

ISBN 3540525599

Libristo-Code 05274143

Verlag Springer, Berlin

Gewicht 1178

Abmessungen 155 x 235 x 41

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Client-Server-Netzwerke

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert