1 كتب إلكترونية بواسطة Paul D. Attie
Paul D. Attie & Agostino Cortesi: Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpo …
PDF
الإنجليزية
DRM
€57.90
