2 द्वारा ईबुक Lubos Brim
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.10
