Gå direkt till innehållet
The Formal Semantics of Programming Languages
Spara

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.
Undertitel
An Introduction
Författare
Glynn Winskel
ISBN
9780262731034
Språk
Engelska
Vikt
590 gram
Utgivningsdatum
5.2.1993
Förlag
MIT Press
Sidor
384