The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
pdf
Author:
Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
1
0
Read online
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
pdf
Author:
Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
1
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через