1 电子书 Boudewijn Haverkort
Lubos Brim & Boudewijn Haverkort: Formal Methods: Applications and Technology
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed …
PDF
英语
DRM
€57.42
