1 द्वारा ईबुक Leila Silva
Jim Davies & Leila Silva: Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010. The 18 revised full pape …
PDF
अंग्रेज़ी
DRM
€58.19
