1 Ebooks door Supratik Mukhopadhyay
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
Engels
DRM
€57.90
