Computable Models
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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Collectivité auteur: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
London :
Springer London : Imprint: Springer,
2009.
|
Édition: | 1st ed. 2009. |
Sujets: | |
Accès en ligne: | Texto Completo |