Image from Amazon.com
Verification, model checking, and abstract interpretation [electronic resource] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / edited by Neil D. Jones, Markus Muller-Olm.
Series: Lecture notes in computer science ; 5403Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: xi, 380 p. : ill., digital ; 24 cmISBN:- 9783540939009 (electronic bk.)
- 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) | - | QA76.76.V47 V871 2009 (Browse shelf(Opens below)) | 1 | Available |
There are no comments on this title.
Log in to your account to post a comment.