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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Systems Specification

Name: Formal Systems Specification
Brand: Springer, Berlin
SKU: 01566254
Price: 53.79 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540619840

The RPC-Memory Specification Case Study

Manfred Broy

Stephan Merz

Katharina Spies

Sprache

Englisch

Buch Broschur

Libristo-Code: 01566254

Verlag Springer, Berlin, November 1995

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Vollständige Beschreibung

Libristo-Code: 01566254

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Ortsverzeichnis 1991 Erich Bader

Broschur

32.89 €

Wunder in meinem Leben Daisy Gräfin von Arnim

Broschur

10.00 €

Myszonek pod namiotem. Myszonek Riikka Jäntti

Hardcover

8.99 €

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Hardcover

19.99 €

Autoatlas Crete / Kreta

Karte

32.79 €

Rínxols d'Or Perrault

Ring

2.69 €

100 Fehler bei der Pflegedokumentation und was Sie dagegen tun können Jutta König

Broschur

14.39 €

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

Broschur

28.29 €

Dehio - Handbuch der deutschen Kunstdenkmaler / Bayern Bd. 3 Bruno Bushart

Hardcover

58.00 €

Su-jok Semenoterapie Jae Woo Park

Broschur

10.59 €

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.

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 Formal Systems Specification

Autor Manfred Broy, Stephan Merz, Katharina Spies

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1996

Anzahl der Seiten 543

EAN 9783540619840

ISBN 3540619844

Libristo-Code 01566254

Verlag Springer, Berlin

Gewicht 736

Abmessungen 234 x 156 x 29

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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