Logic of Computation

by Helmut Schwichtenberg

Book Overview

The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.

• 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"