Computational models can be found everywhere in present day science & engineering. In providing a logical framework & foundation for the
Specification & design of
Specification languages, this book uses this framework to introduce & study computable models.