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

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

book Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

pdf

Author: Laura Kovács Andrei Voronkov (auth.) Natasha Sharygina Helmut Veith (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

pdf

Author: Laura Kovács Andrei Voronkov (auth.) Natasha Sharygina Helmut Veith (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0