1 द्वारा ईबुक Dilian Gurov
Bernhard Beckert & Ferruccio Damiani: Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, Fo Ve OOS 2011, held in Turin, Italy, in …
PDF
अंग्रेज़ी
DRM
€51.23
