Formal Systems Specification und �ber 1 Million weitere B�cher verf�gbar f�r Amazon Kindle . Erfahren Sie mehr

Menge:

oder

Loggen Sie sich ein, um 1-Click® einzuschalten.

oder


	Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich w�hrend des Bestellvorgangs an. Erfahren Sie mehr

Alle Angebote

M�chten Sie verkaufen? Hier verkaufen

F�r Kunden: Stellen Sie Ihre eigenen Bilder ein.

Hier reinlesen und suchen

Beginnen Sie mit dem Lesen von Formal Systems Specification auf Ihrem Kindle in weniger als einer Minute.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science) [Englisch] [Taschenbuch]

Manfred Broy (Herausgeber), Stephan Merz (Herausgeber), Katharina Spies (Herausgeber)

Preis:	EUR 80,20 kostenlose Lieferung. Siehe Details.
Angebotspreis:
	Alle Preisangaben inkl. MwSt.
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verf�gbar.

Lieferung bis Mittwoch, 30. Mai: W�hlen Sie an der Kasse Morning-Express. Siehe Details.

Weitere Ausgaben	Amazon-Preis		Neu ab	Gebraucht ab
Kindle Edition	EUR 56,14		--	--
Taschenbuch	EUR 80,20		--	--

Produktinformation

Taschenbuch: 541 Seiten
Verlag: Springer Berlin Heidelberg; Auflage: 1 (6. November 1996)
Sprache: Englisch
ISBN-10: 3540619844
ISBN-13: 978-3540619840
Gr��e und/oder Gewicht: 23,4 x 15,6 x 3 cm
Amazon Bestseller-Rang: Nr. 2.096.727 in Englische Bücher (Siehe Top 100 in Englische Bücher)

M�chten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Ist der Verkauf dieses Produkts f�r Sie nicht akzeptabel?

Produktbeschreibungen

Kurzbeschreibung

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Synopsis

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.

Alle Produktbeschreibungen

In diesem Buch (Mehr dazu)

Einleitungssatz
The problem calls for the specification and verification of a series of components. Lesen Sie die erste Seite

Mehr entdecken
Wortanzeiger

Ausgew�hlte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | R�ckseite

Kundenrezensionen

Noch keine Kundenrezensionen vorhanden.

5 Sterne

4 Sterne

3 Sterne

2 Sterne

1 Sterne

Kundenrezension verfassen

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Kunden diskutieren

Das Forum zu diesem Produkt

Diskussion	Antworten	J�ngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen

Neue Diskussion starten

Thema:

Erster Beitrag:

Bei neuen Eintr�gen E-Mail erhalten

Eingabe des Log-ins

Richtlinien

Aktive Diskussionen in �hnlichen Foren

Diskussion	Antworten	J�ngster Beitrag
Forum: englische b�cher Utopia/Dystopia	10	Vor 5 Stunden
Forum: englische b�cher We can get a book for free? Great! Please post here!	42	Vor 11 Stunden
Forum: englische b�cher Welches englische Buch lest Ihr zur Zeit?	236	Vor 15 Stunden
Forum: englische b�cher it. girl band 6	1	Vor 2 Tagen
Forum: englische b�cher American Based Thriller Writers Please Post	117	Vor 3 Tagen
Forum: englische b�cher American based Novels post here	20	Vor 3 Tagen
Forum: englische b�cher Action-Adventure Books in English	100	Vor 3 Tagen
Forum: englische b�cher Meet Our Authors	115	Vor 3 Tagen