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
Stock photo: cover may vary

Formal Systems Specification: The Rpc-Memory Specification Case Study Paperback - 1996 - 1996th Edition

by Manfred Broy (Editor); Stephan Merz (Editor); Katharina Spies (Editor)

Add to wish list

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

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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.

Details

  • Title Formal Systems Specification: The Rpc-Memory Specification Case Study
  • Author Manfred Broy (Editor); Stephan Merz (Editor); Katharina Spies (Editor)
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Pages 543
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-11-06
  • 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
Back to top↑

More Copies for Sale

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

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

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

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
1
Seller
GuthrieBooks
Item price
A$10.98
A$8.74 Delivery to USA

Show details

Description:
Springer, 1996-11-06. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Add to wish list
Item price
A$10.98
A$8.74 Delivery to USA
Formal Systems Specification: The Rpc-Memory Specification Case Study
Stock photo: cover may vary

Formal Systems Specification: The Rpc-Memory Specification Case Study

by Manfred Broy, Stephan Merz et Katharina Spies

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
1
Seller
AMMAREAL
Biblio Top Seller
Item price
A$11.75
A$37.95 Delivery to USA

Show details

Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996. Paperback. Very Good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Add to wish list
Item price
A$11.75
A$37.95 Delivery to USA
Formal Systems Specification Vol. XXIII : The RPC-Memory Specification Case Study
Stock photo: cover may vary

Formal Systems Specification Vol. XXIII : The RPC-Memory Specification Case Study

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
1
Seller
Better World Books
Biblio Top Seller
Item price
A$23.76
Free Delivery to USA

Show details

Description:
Springer Berlin / Heidelberg. Used - Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Add to wish list
Item price
A$23.76
Free Delivery to USA
Formal Systems Specification : The RPC-Memory Specification Case Study

Formal Systems Specification : The RPC-Memory Specification Case Study

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
897
Seller
Ria Christie Collections
Item price
A$105.20
A$15.57 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 p
Add to wish list
Item price
A$105.20
A$15.57 Delivery to USA
Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

by Manfred Broy

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
10
Seller
The Saint Bookstore
Biblio Top Seller
Item price
A$113.27
A$19.40 Delivery to USA

Show details

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.
Add to wish list
Item price
A$113.27
A$19.40 Delivery to USA
Formal Systems Specification The RPC-Memory Specification Case Study (Lecture Notes in Computer...
Stock photo: cover may vary

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

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
5
Seller
GreatBookPrices
Item price
A$93.72
A$5.82 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$93.72
A$5.82 Delivery to USA
Formal Systems Specification The RPC-Memory Specification Case Study (Lecture Notes in Computer...
Stock photo: cover may vary

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

  • New
Condition
New
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
5
Seller
GreatBookPrices
Item price
A$94.33
A$5.82 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$94.33
A$5.82 Delivery to USA
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer...
Stock photo: cover may vary

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

by Broy, Manfred

  • New
  • Paperback
Condition
New
Edition
1996
Binding
Paperback
ISBN 10 / ISBN 13
9783540619840 / 3540619844
Quantity available
1
Seller
Ergodebooks
Item price
A$100.17
Free Delivery to USA

Show details

Description:
Springer, 1996-11-06. 1996. paperback. New. 6.10x1.29x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$100.17
Free Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.