BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study Paperback / softback - 1996 - 1996th Edition

by Manfred Broy

Add to wish list
  • New
  • Paperback
New

Description

Paperback / softback. New. The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems.
Ask the seller a question Add to wish list
A$113.45
A$19.43 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

Details

  • Title Formal Systems Specification: The RPC-Memory Specification Case Study
  • Author Manfred Broy
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Condition New
  • Pages 543
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-11-06
  • Bookseller's Inventory # B9783540619840
  • ISBN 9783540619840 / 3540619844
  • Weight 1.74 lbs (0.79 kg)
  • Dimensions 9.21 x 6.14 x 1.16 in (23.39 x 15.60 x 2.95 cm)
  • Category Computers - Languages / Programming
  • Library of Congress Catalogue Number 97119744
  • Dewey Decimal Code 004.36
  • Quantity available 10

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

Reader reviews for Formal Systems Specification: The RPC-Memory Specification Case Study

From the publisher

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.

First line

The problem calls for the specification and verification of a series of components.
tracking-