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
Prima publicare
2013
Editori
Springer London· Limited
Limba
English

Carti

Carti asemanatoare