The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
pdf
Author:
Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
pdf
Author:
Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через