Skip to main content

CURRENTLY SOLD OUT

Formal Systems Specification: The RPC-memory Specification Case Study by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1996)

Be the first to write a review.

About this product

About this product

Product Information

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 sypsis.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg, Springer-Verlag Berlin and Heidelberg Gmbh & Co. K
ISBN-10
3540619844
ISBN-13
9783540619840
eBay Product ID (ePID)
96244365

Product Key Features

Format
Trade Paperback (US), Paperback
Language
English
Subject
Computing: Professional & Programming

Dimensions

Weight
792g
Height
156mm
Width
234mm

Additional Product Features

Place of Publication
Berlin
Spine
29mm
Edited by
Stephan Merz, Katharina Spies, Manfred Broy
Series Part/Volume Number
V. 1169
Series Title
Lecture Notes in Computer Science
Content Note
Biography
Date of Publication
06/11/1996
Genre
Computing: Professional & Programming
Country of Publication
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Polyvagal Exercises for Safety and Connection: 50 Client-Centered Practices by Deb Dana (Paperback, 2020)
No ratings or reviews yet.
AU $53.37 New
AU $45.00 Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Bill Perkins Die With Zero (Paperback)
AU $29.92
Trending at AU $34.24
Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.94
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $125.31
Sapiens A Brief History of Humankind by Yuval Noah Harari Paperback Book NEW
AU $19.57
Trending at AU $19.95
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $38.00
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.37

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like

No ratings or reviews yet.No ratings or reviews yet.

Be the first to write a review.