Rajaa
Hakutulokset: rohit gheyi
Rajaa
yhteensä 2 hakutulosta
Formal Methods: Foundations and Applications
nidottu,
2012,
englanti,
ISBN 9783642332951
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, …
Formal Methods: Foundations and Applications
e-kirja,
2012,
englanti,
ISBN 9783642332968
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, …