Siirry suoraan sisältöön
The Formal Semantics of Programming Languages
Tallenna

The Formal Semantics of Programming Languages

Provides the basic mathematical techniques necessary for those who are beginning a study of semantics and logics of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the area of concurrency.
Alaotsikko
An Introduction
Kirjailija
Glynn Winskel
ISBN
9780262731034
Kieli
englanti
Paino
590 grammaa
Julkaisupäivä
5.2.1993
Kustantaja
MIT Press
Sivumäärä
384