Advertisement

Models of Equational Specifications

  • Peter Csaba Ölveczky
Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

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