Author books / Книги автора Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)

book Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

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

00

27.01.2024

0

0

book Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

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

00

27.01.2024

0

0