Handbook of logic and proof techniques for computer science
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: 1
Rafta:1
Kütüphane  | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Beytepe Kütüphanesi | Kitap | 7.2/12/574424 | QA 76 K723 2002 | Beytepe Genel Koleksiyon | Rafta |