Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 9781595936776
- Publication, Distribution, etc.
- Publication Date
- c2007.
- Publication Date (W3CDTF)
- 2007
- Extent
- vi, 69 p. : ill. ; 28 cm.
- Alternative Title
- PLPV'07 proceedings of the 2007 workshop on programming languages meets program verification Oct. 5, 2007 Freiburg, Germany
- Place of Publication (Country Code)
- US
- NDLC