1 电子书 Frank S.de Boer
Frank S.de Boer & Marcello Bonsangue: Formal Methods for Components and Objects
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has sw …
PDF
英语
DRM
€58.04
