Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Deductive Program Design

Name: Deductive Program Design
Brand: Springer, Berlin
SKU: 01566102
Price: 79260 HUF
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

541 b

79 260 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Aclik Oyunlari 1 Suzanne Collins

Paperback

7 737 Ft

Da pacem - Frieden, gemischter Chor, Chorpartitur

Sheet music

13 514 Ft

Der Ursprung des Christentums Karl Kautsky

Paperback

10 390 Ft

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Paperback

6 637 Ft

Das Kartengeheimnis Jostein Gaarder

Hardback

7 256 Ft

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

Paperback

8 121 Ft

17. und 18. Jahrhundert Peter Polenz

Hardback

15 580 Ft

2 Audio-CDs zum Kursbuch Erna Szakály

Audio CD

12 266 Ft

Belleville Audrey Ndata

Paperback

4 589 Ft

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.