1 电子书 Marcel Vinícius Medeiros Oliveira
Marcel Vinícius Medeiros Oliveira & James Woodcock: Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 — co-located with SAST …
PDF
英语
DRM
€79.72
