Paperback: 240 pagesPublisher: Springer; 1 edition (March 10, 2009)Language: EnglishISBN-10: 1848820518ISBN-13: 978-1848820517Format: PDFDescription: Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he [...]

more...