Lectures on Proof Verification and Approximation Algorithms Author:  Ernst W. Mayr (Editor), Hans Jurgen Promel (Editor), Angelika Steger (Editor) Format:  Paperback Publish Date:  March 1998 ISBN-10:  3540642013 ISBN-13:  9783540642015 List Price:  $84.95

For the best price: or just Pages: 344 Publisher: Springer Verlag Add this book to your wish list | View your wish list | Link to this book Click on this books subject categories to see related titles: Subjects : COMPUTERS : Computer Science Subjects : MATHEMATICS : Mathematical Analysis : Approximation theory Subjects : COMPUTERS : Computer Science : Computer algorithms Subjects : COMPUTERS : General : Automatic theorem proving Add your own review! Book Details Summary: The title of this book is Lectures on Proof Verification and Approximation Algorithms and it was written by Ernst W. Mayr (Editor), Hans Jurgen Promel (Editor), Angelika Steger (Editor). This edition of Lectures on Proof Verification and Approximation Algorithms is in a Paperback format. This books publish date is March 1998 and it has a suggested retail price of $84.95. There are 344 pages in the book and it was published by Springer Verlag. The 10 digit ISBN is 3540642013 and the 13 digit ISBN is 9783540642015.