PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007

PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007

Bibliographic Details
Main Author: Stump, Aaron (-)
Corporate Authors: PLPV '07 (-), Association for Computing Machinery-Digital Library
Format: eBook
Language:Inglés
Published: [Place of publication not identified] Association for Computing Machinery 2007
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/alma991009713662406719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (76 p.;)

Similar Items