1 Ebooki wg 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
Angielski
DRM
€115.42