Autor: Lubos Brim

Soporte

2 Ebooks de 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
Inglés
DRM
€57.42