Ships from/sold by Buy.com
advertisement
Earn Super Points: Write a Review
Sorry, this selection is currently unavailable.
Computable Models 1 of 1
$110.22  + Free Shipping
EARN 111 RAKUTEN SUPER POINTS™ Super Points
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
CONDITION:  Brand New
IN STOCK: Usually Ships within 24 hours
45 day return policy
Share
promo
 
Description
 

Learn more about Computable Models:

ISBN-10: 1849968187
ISBN-13: 9781849968188
Sku: 241034639
Publish Date: 8/13/2012
 
From the Publisher:
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 presents the first systematic attempt to provide computational models with a logical foundation.Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics. They are also implicit in computer modelling in many areas of physical and social science.This detailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students.
Advertisement Bottom