Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification

Proceedings of the 4th Acm Sigplan Workshop on Programming Languages Meets Program Verification

Bibliographic Details
Main Author: Filliâtre, Jean-Christophe (-)
Corporate Author: Association for Computing Machinery-Digital Library (-)
Other Authors: Filliatre,Jean-Christophe Contributor (contributor)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] : Association for Computing Machinery 2010.
Series:ACM Conferences
Subjects:
Information Technology > Computer Science (Hardware & Networks)
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714052806719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (70 pages)

Similar Items