Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

2/5
Xuất bản lần đầu
2013
Các nhà xuất bản
Springer London· Limited
Ngôn ngữ
English

Các sách

Sách tương tự