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 Oct …
PDF
الإنجليزية
DRM
€51.34
