or
Sign in to turn on 1-Click ordering.
 
 
More Buying Choices
19 used & new from £10.21
Have one to sell? Sell yours here
 
   
Formal Systems Specification: The RPC-memory Specification Case Study (Lecture Notes in Computer Science)
 
 
Share your own customer images
Search inside this book

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

by Manfred Broy (Editor), Stephan Merz (Editor), Katharina Spies (Editor) "The problem calls for the specification and verification of a series of components ..." (more)
No customer reviews yet. Be the first.
Price: £53.99 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Usually dispatched within 1 to 3 weeks.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

12 new from £45.58 7 used from £10.21

Product details

Customers Viewing This Page May Be Interested in These Sponsored Links

  (What is this?)
   Customer Case Studies opens new browser window
www.CaseStudyCentre.com  -  Let your customers sell for you. Professional case histories £600. 
   Improve your Kids Chances opens new browser window
www.memory-booster.com  -  of Success at School. Better Memory can Boost Results and Confidence! 
   Case Study opens new browser window
www.Ask.com  -  Find the Best Results for Case Study. 
  
 

Product Description

Product Description

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.
Inside This Book (Learn More)
First Sentence
The problem calls for the specification and verification of a series of components. Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Back Cover
Search inside this book:

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   

Look for similar items by category

Look for similar items by subject























i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback

Ad

Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.