PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA

• Autore: Jhala Ranjit
• Pubblicazione: [Place of publication not identified], : ACM, 2011
• Descrizione fisica: 1 online resource (62 pages)
• Soggetto topico: Engineering & Applied Sciences; Computer Science
• Persona (resp. second.): SwierstraWouter; JhalaRanjit
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Altri titoli varianti: Programming Languages Meets Program Verification'11 : proceedings of the 5th Association for Computing Machinery workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, United States of America; Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification; POPL '11 the 38th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, TX, USA - January 26 - 28, 2011
• Titolo autorizzato: PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910376024003321
• Lo trovi qui: Univ. Federico II
• Serie: ACM Conferences