Number of the records: 1
Automata and computability
Main entry-name Kozen, Dexter C., 1951- (author) Title statement Automata and computability / Dexter C. Kozen Issue data New York : Springer, 1997 Phys.des. xiii, 400 s. ISBN 0-387-94907-0 Edition Undergraduate texts in computer science Subj. Headings počítače počítačová věda informační technologie počítačové funkce Conspect 004 - Počítačová věda. Výpočetní technika. Informační technologie Country Spojené státy americké Language English Copy count 1, currently available 1 Database Naučná literatura Call number Track No. Location Sublocation Info 77983 408260 Knihovna IV
Number of the records: 1