Chargement en cours…

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: turner, raymond (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: London : Springer London : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Sujets:
Accès en ligne:Texto Completo