The Formal Semantics of Programming Languages – An Introduction(Foundations of Computing Ser) H 384 p. 93
内容
Provides the basic mathematical techniques necessary for those who arebeginning a study of semantics and logics of programming languages.Although the treatment is elementary, several of the topics covered aredrawn from recent research, including the area of concurrency.