![Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Başlık:
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar:
Gonthier, Georges. editor.
ISBN:
9783319035451
Fiziksel Tanımlama:
XII, 309 p. 44 illus. online resource.
Seri:
Lecture Notes in Computer Science, 8307
Konu Terimleri:
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-319-03545-1Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 332982-1001 | ONLINE(332982.1) | Arıyor... | Arıyor... |