Book serie: / Книги серии: Lecture Notes in Computer Science 3576 : Theoretical Computer Science and General Issues » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3576 : Theoretical Computer Science and General Issues

book Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

pdf

Author: George C. Necula Sumit Gulwani (auth.) Kousha Etessami Sriram K. Rajamani (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0