Models of Equational Specifications

Part of the Undergraduate Topics in Computer Science book series (UTICS)


The introduction to this book says that the point of formal modeling is to define a mathematical model of a computer system.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations