Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lectu
- List Price: $129.00
- ISBN-10: 3540600450
- ISBN-13: 9783540600459
- Edition: 1995th
- Type: Paperback
- Publisher: Springer
About The Book
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July... Read more
FINDING THE BEST PRICES
Related Books
- Year: 2004
- Edition: 3rd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780131453401
- ISBN: 0131453408
$194
Learning LaTeX
- Year: 1997
- Edition: 1st
- Publisher: SIAM: Society for Industrial and Applied
- Type: Paperback
- ISBN13: 9780898713831
- ISBN: 0898713838
- Year: 2003
- Edition: 7th
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780132576253
- ISBN: 0132576252
