Image from Amazon.com
Verification, model checking, and abstract interpretation [electronic resource] : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / edited by Gilles Barthe, Manuel Hermenegildo.
Series: Lecture notes in computer science ; 5944Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: x, 395 p. : ill., digital ; 24 cmISBN:- 9783642113192 (electronic bk.)
- 9783642113185 (paper)
- VMCAI 2010
- 005.14 22
| 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.