.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Description of Programming Concepts
K.R. Apt
€ 132.17
FREE Delivery in Ireland
Description for Formal Description of Programming Concepts
Hardback. This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs. Series: IFIP State-of-the-Art Reports. Num Pages: 508 pages, 33 black & white tables, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 28. Weight in Grams: 1119.
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in ... Read more
In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in ... Read more
Product Details
Format
Hardback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
508
Condition
New
Series
IFIP State-of-the-Art Reports
Number of Pages
508
Place of Publication
Berlin, Germany
ISBN
9783540539612
SKU
V9783540539612
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Description of Programming Concepts