ผู้เขียน: Corina S Pasareanu

สนับสนุน

2 หนังสืออิเล็กทรอนิกส์โดย Corina S Pasareanu

Corina S Pasareanu: Model Checking Software
PDF
อังกฤษ
DRM
€57.91
Corina S Pasareanu & Gwen Salaun: Formal Aspects of Component Software
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full …
PDF
อังกฤษ
DRM
€53.77