Computable Models

• Main Author: Turner, Raymond (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2009.
• Subjects: Computer science.; Computers.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computational linguistics.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Language Translation and Linguistics.

Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. I...