Buy Used and New Alan J . Hu Books

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540646082

Format: Paperback (552 pages)
Publisher: Springer
Published: 03 Jun 1998

Save for later

Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783642017018

Format: Paperback (215 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later