3 หนังสืออิเล็กทรอนิกส์โดย Byron Cook
Byron Cook & Andreas Podelski: Verification, Model Checking, and Abstract Interpretation
…
PDF
อังกฤษ
DRM
€57.99
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 pap …
PDF
อังกฤษ
DRM
€57.61
