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

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

book Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language: English
Year: 1991

00

26.01.2024

2

0