Springer (2009)

Authors
Raymond Turner
University of Essex
Abstract
Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
Keywords Computable functions  Model theory
Categories (categorize this paper)
Buy this book $23.70 new   Amazon page
Call number QA9.59.T87 2009
ISBN(s) 9781848820524   1848820518   9781848820517   1848820526   1849968187
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,226
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
What is a Simulation Model?Juan M. Durán - 2020 - Minds and Machines 30 (3):301-323.
The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.

View all 8 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2010-07-20

Total views
21 ( #532,156 of 2,499,689 )

Recent downloads (6 months)
2 ( #278,274 of 2,499,689 )

How can I increase my downloads?

Downloads

My notes