Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Program Development
. Ed(S): Moller, B.; Partsch, Helmut A.; Schuman, Steve
€ 68.68
FREE Delivery in Ireland
Description for Formal Program Development
Paperback. Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Editor(s): Moller, B.; Partsch, Helmut A.; Schuman, Steve. Series: Lecture Notes in Computer Science. Num Pages: 375 pages, biography. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 548.
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's ... Read more
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
375
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
375
Place of Publication
Berlin, Germany
ISBN
9783540574996
SKU
V9783540574996
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Program Development