Tallenna
Computable Models
In doing so he presents the first systematic attempt to provide computational models with a logical foundation.
Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.
- Kirjailija
- raymond turner
- Painos
- 1st ed. Softcover of orig. ed. 2009
- ISBN
- 9781849968188
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.10.2010
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 240
