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 (Lecture Notes in Computer Science)

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture
Stock photo: cover may vary

Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science) Paperback - 1996 - 1996th Edition

by Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];

Add to wish list
  • Used
  • very good
  • Paperback
Used - Very good

Description

Springer, 1996-11-06. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Ask the seller a question Add to wish list
A$11.05
A$8.81 Delivery within USA
Standard delivery: 6 to 10 days
More delivery options
Ships from GuthrieBooks (Texas, United States)

Details

  • Title Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
  • Author Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Condition Used - Very good
  • Pages 543
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-11-06
  • Bookseller's Inventory # UTD14A-0964
  • 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)
  • Size 6x1x9
  • Category Computers - Languages / Programming
  • Library of Congress Catalogue Number 97119744
  • Dewey Decimal Code 004.36
  • Quantity available 1

About GuthrieBooks Texas, United States

Biblio member since 2007

Selling books since 1975.. We specialize in academic monographs and technical works but we have books in every area of interest.

Terms of Sale:

Credit cards accepted through Biblio.com. Returns accepted and promptly refunded if dissatisfied in any way.

Browse books from GuthrieBooks

Reader reviews for Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

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-