Handbook of logic and proof techniques for computer science
tarafından
 
Krantz, Steven George, 1951-

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.

Konu Terimleri
: 
BİLGİSAYARLAR.
 
ELEKTRONİK VERİ İŞLEM.
 
Computers.
 
Electronic data processing.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Beytepe KütüphanesiKitap7.2/12/574424QA 76 K723 2002Beytepe Genel Koleksiyon