Başlık:
Handbook of logic and proof techniques for computer science
Yazar:
Krantz, Steven George, 1951-
ISBN:
9780817642204
Yayın Bilgileri:
Boston : Birkhauser ; New York : Springer, 2002.
Fiziksel Tanımlama:
xix, 245 s.
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/574424 | QA 76 K723 2002 | Arıyor... | Arıyor... |