Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Systems Specification

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

The RPC-Memory Specification Case Study

Manfred Broy

Stephan Merz

Katharina Spies

Language

English

Book Paperback

Libristo code: 01566254

Publishers Springer, Berlin, November 1995

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal... Full description

Libristo code: 01566254

125 b

51.59 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ortsverzeichnis 1991 Erich Bader

Paperback

31.69 €

Wunder in meinem Leben Daisy Gräfin von Arnim

Paperback

8.57 €

Myszonek pod namiotem. Myszonek Riikka Jäntti

Hardback

8.57 €

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Hardback

19.28 €

Autoatlas Crete / Kreta

Map

31.49 €

Rínxols d'Or Perrault

Spiral bound

2.72 €

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

Paperback

13.72 €

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

Paperback

27.05 €

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

Hardback

48.56 €

Su-jok Semenoterapie Jae Woo Park

Paperback

10.09 €

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.