PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009

PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009

Bibliographic Details
Main Author: Altenkirch, Thorsten (-)
Corporate Authors: PLPV '09 Corporate Author (corporate author), PLPV '09 (-), A C M Special Interest Group Content Provider (content provider), ACM Special Interest Group on Programming Languages Content Provider, ACM Symposium on Principles of Programming Languages
Other Authors: Millstein, Todd Contributor (contributor), Altenkirch, Thorsten Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] Association for Computing Machinery 2009
Series:ACM Conferences
Subjects:
Computer programs > Verification > Congresses
Programming languages (Electronic computers) > Congresses
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712856606719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (90 p.;)

Similar Items