Category
Compilers
Store
Wordery
Brand
Springer berlin heidelberg
Verification, Model Checking and Abstract Interpretation : Springer : 9783540436317 : 3540436316 : 24 Apr 2002 : 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.
44.99 GBP
Recommendations
Choose your language and region
Klarna is available around the world with a variable offering, choose one that suits you best.
Copyright © 2005-2024 Klarna Bank AB (publ). Headquarters: Stockholm, Sweden. All rights reserved. Klarna Bank AB (publ). Sveavägen 46, 111 34 Stockholm. Organization number: 556737-0431