Handbook of logic and proof techniques for computer science
by
 
Krantz, Steven George, 1951-

Title
: 
Handbook of logic and proof techniques for computer science

Author
: 
Krantz, Steven George, 1951-

ISBN
: 
9780817642204

Publication Information
: 
Boston : Birkhauser ; New York : Springer, 2002.

Physical Description
: 
xix, 245 s.

Subject Term
: 
BİLGİSAYARLAR.
 
ELEKTRONİK VERİ İŞLEM.
 
Computers.
 
Electronic data processing.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Beytepe LibraryBook7.2/12/574424QA 76 K723 2002Beytepe Genel Koleksiyon