The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 1522
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
pdf
Author:
Kenneth L. McMillan (auth.) Ganesh Gopalakrishnan Phillip Windley (eds.)
Language:
English
Year:
1998
0
0
27.01.2024
2
0
Read online
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
pdf
Author:
Kenneth L. McMillan (auth.) Ganesh Gopalakrishnan Phillip Windley (eds.)
Language:
English
Year:
1998
0
0
27.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через