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 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €

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: 193.24 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

470 b

193.24 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Aclik Oyunlari 1 Suzanne Collins

Paperback

18.99 €

Da pacem - Frieden, gemischter Chor, Chorpartitur

Sheet music

35.06 €

Flora Brasiliensis: Algae, Lichenes, Hepaticae Karl Friedrich Philipp Von Martius

Paperback

38.88 €

Jose de San Martin y Domingo Faustino Sarmiento Gabriel Eduardo Brizuela

Paperback

325.49 €

Belleville Audrey Ndata

Paperback

11.95 €

2 Audio-CDs zum Kursbuch Erna Szakály

Audio CD

32.55 €

Population genetic processes of a Populus hybrid complex Georg Rathmacher

Paperback

47.72 €

17. und 18. Jahrhundert Peter Polenz

Hardback

41.29 €

Das Kartengeheimnis Jostein Gaarder

Hardback

18.48 €

Petit Livre de - Couscous, Tajines & co en 120 recettes Maya Nuq-Barakat

Paperback

4.61 €

Aus Da Hoamat: Bilder Aus Dem Natur Und Volksleben Des Innviertels (1893) Josef Reischl

Paperback

21.60 €

Praxisschock Marcel Naas

Paperback

21.09 €

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Paperback

16.97 €

Der Ursprung des Christentums Karl Kautsky

Paperback

26.62 €

Caverna de Cristales Gigantes Hortensia De Los Santos

Paperback

11.35 €

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

Paperback

21.60 €

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.