Book serie: / Книги серии: Lecture Notes in Computer Science 1427 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 1427

book Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

djvu

Author: Nicolas Halbwachs (auth.) Alan J. Hu Moshe Y. Vardi (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0