![]() |
|
| |   |   |
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995 ProceedingsAUTHOR: P. Wolper (Editor)ISBN: 3540600450 Compare Price |
| HOME--->> Computers & Internet --->>Computer Conferences --->>Computer Conferences | ||
| Computer Conferences | ||
| Book Review | |
|
| HOME | Recommend bookstore | Rate bookstore | |
| Copyright© 2003 - 2005, PowerBookSearch.com. All Rights Reserved. |