Buy Used and New KedarNamjoshi Books

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540755951

Format: Paperback (566 pages)
Publisher: Springer
Published: 09 Oct 2007

Save for later

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642192364

Format: Paperback (179 pages)
Publisher: Springer
Published: 10 Feb 2011

Save for later