Shelfclass_id |
3.A |
Sortkey |
VMCAI |
Authors |
Byron Cook, Andreas Podelski |
Title |
VMCAI 2007: Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007: Proceedings |
Publisher |
Springer-Verlag |
Year |
c2007 |
Languages |
eng |
Isbn |
3540697357, 3540706631, 9783540697350, 9783540706632 |
Series |
Lecture Notes in Computer Science |
Volume |
4349 |
Issn |
0302-9743 |
Description |
(pbk.) (pbk.) xi, 394 p. ill. 24 cm. |
Record date |
20080812 |
Location |
New York |
Nlmed |
TK5105.88815 |
Keywords |
Semantic Web, Ontology, Semantics, Programming languages (Electronic computers), Computer programs |
Notes |
International conference proceedings. |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0825/2006939351-d.html |