LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark

LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark

Bibliographic Details
Main Author: Chlipala, Adam (-)
Corporate Authors: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Corporate Author (corporate author), International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (-), ACM Special Interest Group on Programming Languages Content Provider (content provider)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2012
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713910906719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (44 pages)
ISBN:9781450315784

Similar Items