Logic of Computation

by Helmut Schwichtenberg

Book Overview

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following...

• Format: Paperback
• Language: English
• ISBN: 3642638325
• ISBN13: 9783642638329
• Release Date: October 2012
• Publisher: Springer
• Length: 403 Pages
• Weight: 1.28 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"