Computable Models

• Κύριος συγγραφέας: Turner, Raymond (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2009.
• Θέματα: 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...