Lecture Notes in Computer Science: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Yorav, Karen

Details

Published by: Springer

Publication Date: 2008-02-01

Format: Paperback

ISBN-13: 9783540779643

DOI: 10.1007/978-3-540-77966-7

Dimensions: 235cm x155cm

Pages: 267