1 หนังสืออิเล็กทรอนิกส์โดย Kousha Etessami
Kousha Etessami & Sriram K. Rajamani: Computer Aided Verification
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of con …
PDF
อังกฤษ
DRM
€115.42
