Program Design Calculi
Manfred . Ed(S): Broy
€ 250.75
FREE Delivery in Ireland
Description for Program Design Calculi
Paperback. Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992 Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 416 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 652.
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed ... Read more
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
416
Condition
New
Series
NATO Asi Series / NATO Asi Subseries F:
Number of Pages
416
Place of Publication
Berlin, Germany
ISBN
9783642081644
SKU
V9783642081644
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Program Design Calculi