1 电子书 Stefan Hallerstede
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last …
PDF
英语
DRM
€57.47
