Lectures on Proof Verification and Approximation Algorithms (Lecture Notes in Computer Science (1367), Band 1367)

Verification

von: Ernst W. Mayr · Hans J??rgen Pr??mel · Angelika Steger

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-64201-5

ISBN-10: 3-540-64201-3

Springer · 2008