The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Formal methods (Computer science) -- Congresses,Component software -- Congresses
Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
pdf
Author:
Lumpe Markus
,
Proença José
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
pdf
Author:
Lahiri Shuvendu
,
Reger Giles
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
pdf
Author:
Polikarpova Nadia
,
Schneider Steve A
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
pdf
Author:
Cimatti Alessandro
,
Sirjani Marjan
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через