Stock Image

Deductive Program Design

Manfred Broy

Published by Springer-Verlag Gmbh Jun 1996, 1996
ISBN 10: 3540609474 / ISBN 13: 9783540609476
New / Buch / Quantity Available: 2
From Agrios-Buch (Bergisch Gladbach, Germany)
Available From More Booksellers
View all  copies of this book
Add to basket
List Price:
Price: £ 244.26
Convert Currency
Shipping: £ 15.25
From Germany to U.S.A.
Destination, Rates & Speeds

Save for Later

About the Book

Bibliographic Details

Title: Deductive Program Design

Publisher: Springer-Verlag Gmbh Jun 1996

Publication Date: 1996

Binding: Buch

Book Condition: Neu


Neuware - 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. 470 pp. Englisch. Bookseller Inventory # 9783540609476

About this title:

Book ratings provided by GoodReads:
0 avg rating
(0 ratings)

Synopsis: Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

"About this title" may belong to another edition of this title.

Bookseller & Payment Information

Payment Methods

This bookseller accepts the following methods of payment:

  • American Express
  • Bank/Wire Transfer
  • Check
  • Invoice
  • MasterCard
  • PayPal
  • Visa

[Search this Seller's Books]

[List this Seller's Books]

[Ask Bookseller a Question]

Bookseller: Agrios-Buch
Address: Bergisch Gladbach, Germany

AbeBooks Bookseller Since: 11 January 2012
Bookseller Rating: 5-star rating

Terms of Sale:

Allgemeine Geschäftsbedingungen (

der Firma Agrios Buch- und Medienversand UG e.K. ,Geschäftsführer Ludwig Meier, De-Gasperi-Str. 8, 51469 Bergisch Gladbach nachstehend als Verkäufer bezeichnet.

§ 1 Allgemeines, Begriffsbestimmungen

(1) Der Verkäufer bietet unter dem Nutzernamen Agrios Buch unter der Plattform insbesondere Bücher an. Die folgenden Allgemeinen Geschäftsbedingungen (AGB) gelten für die Geschäftsbeziehung zwischen dem Verkäufer und dem Kunden in ihrer zum Ze...

[More Information]

Shipping Terms:

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach Österreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Detailed Seller Information