Buy Used and New ReinerHähnle Books

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540689775

Format: Paperback (658 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540791232

Format: Paperback (193 pages)
Publisher: Springer
Published: 31 Mar 2008

Save for later