.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Constructive Methods in Computing Science
Manfred . Ed(S): Broy
€ 130.26
FREE Delivery in Ireland
Description for Constructive Methods in Computing Science
Paperback. Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988 Editor(s): Broy, Manfred. Series: NATO ASI Subseries F. Num Pages: 478 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 147 x 27. Weight in Grams: 816.
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be ... Read more
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
478
Condition
New
Series
NATO ASI Subseries F
Number of Pages
478
Place of Publication
Berlin, Germany
ISBN
9783642748868
SKU
V9783642748868
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Constructive Methods in Computing Science