Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: 88 (Paperback)
  • Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: 88 (Paperback)
zoom

Programming and Mathematical Method: International Summer School - Nato ASI Subseries F: 88 (Paperback)

(editor,other), (other), (other), (other)
£114.00
Paperback 407 Pages / Published: 21/12/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the * specification, * refinement, * verification of programs and program systems. Some extremely remarkable examples were given. Looking at these examples it becomes clear that proper research and teaching in the area of program methodology should always show its value by being applied at least to small examples or case studies. It is one of the problems of computing science that examples and case studies have to be short and small to be lJresentable in lectures and papers of moderate size. However, even small examples can tell a lot about the tractability and adequacy of methods and being able to treat small examples does at least prove that the method can be applied in modest ways. Furthermore it demonstrates to some extent the notational and calculational overhead of applying formal methods.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642775741
Number of pages: 407
Weight: 722 g
Dimensions: 242 x 170 x 22 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

C++ For Dummies
Added to basket
£21.99
Paperback
The Mythical Man-Month
Added to basket
Learning Python
Added to basket
£59.99
Paperback
How to Build a Billion Dollar App
Added to basket
Coding for Beginners in easy steps
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Python for Data Science For Dummies
Added to basket
Code
Added to basket
£21.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Clean Code
Added to basket
£36.99
Paperback
Automate The Boring Stuff With Python
Added to basket
C++ All-in-One For Dummies
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback
Designing Data-Intensive Applications
Added to basket

Please sign in to write a review

Your review has been submitted successfully.