Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Stream Based Design of Distributed Systems Through Refinement
Type
Physical Book
Publisher
Author
Language
English
Pages
230
Format
Paperback
ISBN13
9783832504625

Stream Based Design of Distributed Systems Through Refinement

Annette St|Mpel (Author) · Logos Verlag · Paperback

Stream Based Design of Distributed Systems Through Refinement - Annette St|Mpel

New Book Imported to Netherlands
Delivery: 30 Sep - 05 Oct Shipping: 13 to 15 business days.
€ 84,24
Import costs and 9% BTW included in the price ✅
€ 84,24

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Stream Based Design of Distributed Systems Through Refinement"

A distributed system consists of cooperating interactive components running concurrently and exchanging information by communication. The development of such systems needs a formal design process that step by step transforms an abstract specification into a concrete one by systematic refinement. The book provides definitions, concepts, and examples for correctness preserving refinement techniques explicating the underlying design decisions. The refinement rules are based on specifications which model communication histories with streams. The presentation covers state refinement, property refinement, interface refinement, architecture refinement, and communication refinement. It focusses on state refinement which constitutes the step from a history based to a state based specification of a component. The other notions of refinement are presented particularly regarding their relationship to state refinement.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews