Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/ edited by Neil D. Jones, Markus Müller-Olm.
Materyal türü:
MakaleYayın ayrıntıları:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Tanım: 380 p. ; 24 cmISBN: - 9783540939009
- QA76.5
| Materyal türü | Geçerli Kütüphane | Yer numarası | Durum | Barkod | |
|---|---|---|---|---|---|
| Book | Yeniboğaziçi Grand Library General Collection | QA76.5 .V47 2009 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 7634595980 |
Bu materyal hakkında henüz bir yorum yapılmamış.
Hesabınız ile oturum açın bir yorum göndermek için.