Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

110

Voted

LOGCOM
2006

favoriteEmaildiscussreport

98views more LOGCOM 2006»

Computability in Specification

15 years 6 days ago

Computability in Specification

Download cswww.essex.ac.uk

In reference (Foundation of specification. Journal of Logic and Computation, 15, 951

Raymond Turner

Real-time Traffic

Core Specification Theory | LOGCOM 2006 | Logical Framework | Specifications |

claim paper

Related Content

» Formalizing ODP Computational Viewpoint Specifications in Maude

» Abstract computability and algebraic specification

» Writing and executing ODP computational viewpoint specifications using Maude

» PoPS A Computational Tool for Modeling and Predicting Protease Specificity

» The SOCS Computational Logic Approach to the Specification and Verification of Agent Socie...

» Tracing Illegal Users of Video Reconsideration of TreeSpecific and EndbuyerSpecific Method...

» SituationAware Contract Specification Language for Middleware for Ubiquitous Computing

» Genomewide identification of specific oligonucleotides using artificial neural network and...

» A computational approach for detecting peptidases and their specific inhibitors at the gen...

Post Info
More Details (n/a)

Added	14 Dec 2010
Updated	14 Dec 2010
Type	Journal
Year	2006
Where	LOGCOM
Authors	Raymond Turner

Comments (0)