Szkło powiększające
Search Loader

Autor: Byron Cook

Wsparcie

3 Ebooki wg Byron Cook

Pokrywa Byron Cook & Andreas Podelski: Verification, Model Checking, and Abstract Interpretation
Byron Cook & Andreas Podelski: Verification, Model Checking, and Abstract Interpretation
…
PDF
Angielski
DRM
€56.86
Pokrywa Maria Alpuente & Byron Cook: Formal Methods for Industrial Critical Systems
Maria Alpuente & Byron Cook: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 …
PDF
Angielski
DRM
€56.24
Pokrywa Byron Cook & Paul Jackson: Computer Aided Verification
Byron Cook & Paul Jackson: Computer Aided Verification
…
PDF
Angielski
DRM
€111.68