Verifikation, Modellprüfung und abstrakte Interpretation: Dritte Internation...
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, Like New Used, Free P&P in the UK 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.
Jetzt bei Ebay:
