Gå direkte til innholdet
The Formal Semantics of Programming Languages
Spar

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.
Undertittel
An Introduction
Forfatter
Glynn Winskel
ISBN
9780262731034
Språk
Engelsk
Vekt
590 gram
Utgivelsesdato
5.2.1993
Forlag
MIT Press
Antall sider
384