Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Deductive Program Design

Name: Deductive Program Design
Brand: Springer, Berlin
SKU: 01566102
Price: 205.79 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540609476

Manfred Broy

Language

English

Book Hardback

Libristo code: 01566102

Publishers Springer, Berlin, November 1995

This volume presents some of the most advanced research in the description of distributed systems an... Full description

Libristo code: 01566102

498 b

205.79 €

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Aclik Oyunlari 1 Suzanne Collins

Paperback

20.12 €

Da pacem - Frieden, gemischter Chor, Chorpartitur

Sheet music

38.13 €

Der Ursprung des Christentums Karl Kautsky

Paperback

26.80 €

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Paperback

17.09 €

Das Kartengeheimnis Jostein Gaarder

Hardback

18.61 €

Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C

Paperback

21.24 €

17. und 18. Jahrhundert Peter Polenz

Hardback

43.90 €

2 Audio-CDs zum Kursbuch Erna Szakály

Audio CD

34.59 €

Belleville Audrey Ndata

Paperback

12.94 €

This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms can be used to treat hardware systems, with emphasis on development steps leading from high-level abstractions to concrete representations. An important notion treated is that of refinement concepts in system development.