Image from Amazon.com
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck.
Series: Lecture Notes in Computer Science ; 4905Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: 325 p. : ill., digital ; 24 cmISBN:- 9783540781639 (electronic bk.)
- 9783540781622 (paper)
- 005.14 22
- QA76.76.V47 V53 2008
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | ebook (Browse shelf(Opens below)) | 1 | Available |
There are no comments on this title.
Log in to your account to post a comment.