Formal Methods and Software Engineering

Formal Methods and Software Engineering

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

ved Toshiaki Aoki
5/5
Først udgivet
Oct 29, 2012
Udgivere
Springer

Bøger

Lignende bøger