Refine your search

• Availability

  • Limit to records with available items

• Authors

  • Harel, David (1)
  • Kozen, Dexter C. (2)
  • Tiuryn, Jerzy (1)

• Item types

  • E-Book (1)
  • General Book (1)

• Locations

  • Floor 4: General Shelves (ENGLISH): N, Q-T (1)
  • On Display (1)

• Series

  • Foundations of computing (1)
  • Undergraduate texts in computer science (1)

• Topics

  • COMPUTABLE FUNCTIONS (1)
  • COMPUTER LOGIC. (1)
  • Formal methods (Computer science) (1)
  • MACHINE THEORY (1)

• Collections

  • Electronic Resources (1)
  • General Books (ENGLISH) (1)

• Holding libraries

  • SPU Library, Bangkok (Main Campus) (2)

• Languages

  • English (2)