Author:
Edition: 1999
Binding: Paperback
ISBN: 3540662022
Publisher: Springer
Edition: 1999
Binding: Paperback
ISBN: 3540662022
Publisher: Springer
Computer Aided Verification, 9 conf., CAV '97
Computer Aided Verification
Computer Aided Verification, 8 conf., CAV '96: Rajeev Alur, Thomas Henzinger
Download free Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science) from rapidshare, mediafire, 4shared
Search and find a lot of computer books in many category availabe for free download
