Présentation de l'éditeur
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, the author uses this framework to study computable models.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
