1 Ebooks de 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
Engleză
DRM
€51.23
