| EAN: | 9783540436317 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 348 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Cortesi, Agostino |
| Veröffentlichungsdatum: | 24.04.2002 |
| Untertitel: | Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers |
| Schlagworte: | Informatik |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetotheinstitutionsthatsponsoredtheevent:theC- puter Science Department of the University Cä 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.