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.36
