Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Systems Specification

Name: Formal Systems Specification
Brand: Springer, Berlin
SKU: 01566254
Price: 19925 HUF
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

136 b

19 925 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ortsverzeichnis 1991 Erich Bader

Paperback

11 267 Ft

Wunder in meinem Leben Daisy Gräfin von Arnim

Paperback

3 346 Ft

Myszonek pod namiotem. Myszonek Riikka Jäntti

Hardback

3 054 Ft

Insegna al tuo drago il pericolo degli sconosciuti Steve Herman

Hardback

7 394 Ft

Autoatlas Crete / Kreta

Map

11 212 Ft

Rínxols d'Or Perrault

Spiral bound

953 Ft

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

Paperback

4 900 Ft

Parmenides und die Geschichte der griechischen Philosophie Karl Reinhardt

Paperback

10 476 Ft

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

Hardback

19 004 Ft

Su-jok Semenoterapie Jae Woo Park

Paperback

3 595 Ft

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.