Constructive Methods in Computing Science

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author
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 f...
Read more
E-book
pdf
Price
89.50 £
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 f...
Read more

Options

  • Formats: pdf
  • ISBN: 9783642748844
  • Publication Date: 6 Dec 2012
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM