Stock Image

Deductive Program Design

Manfred Broy

0 ratings by Goodreads
ISBN 10: 3540609474 / ISBN 13: 9783540609476
Published by Springer-Verlag Gmbh Jun 1996, 1996
New Condition: Neu
Buy New
List Price: 339.00
Price: £ 244.30 Convert Currency
Shipping: £ 15.26 From Germany to U.S.A. Destination, Rates & Speeds
Add to basket

Offered By

Bergisch Gladbach, Germany

5-star rating

AbeBooks Seller Since 11 January 2012

About this Item

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

Quantity Available: 1

Ask Seller a Question

Bibliographic Details

Title: Deductive Program Design

Publisher: Springer-Verlag Gmbh Jun 1996

Publication Date: 1996

Binding: Buch

Book Condition: Neu

About this title


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.

Store Description

Visit Seller's Storefront

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

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check PayPal Invoice Bank/Wire Transfer