When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Verification, Model Checking, and Abstract Interpretation : Third Internation...
- Item No : 365760346839
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $84.89
-
* Item Description
- Verification, Model Checking, and Abstract Interpretation : Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Papers, Paperback by Cortesi, Agostino (EDT), ISBN 3540436316, ISBN-13 9783540436317, Brand New, Free shipping in the US projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Ca’ Foscari, the European Asso- ation for Programming Languages and Systems (EAPLS), the MIUR Project “InterpretazioneAstratta,TypeSystemseAnalisiControl-Flow”andtheMIUR Project“MetodiFormaliperlaSicurezza-MEFISTO”.Weareespeciallygra- ful to C. Braghin for her helpful support in organizingthe workshop.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
