Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs

Bibliographic Details
Main Author: Banerjee, Anindya (-)
Corporate Author: Association for Computing Machinery-Digital Library (-)
Other Authors: Banerjee, Anindya Contributor (contributor)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] Association for Computing Machinery 2009
Series:ACM Other conferences
Subjects:
Information Technology > Computer Science (Hardware & Networks)
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713647006719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (64 p.;)

Similar Items