Filter
Sökt på: Böcker av Glynn Winskel
Filter
totalt 4 träffar
The Formal Semantics of Programming Languages
pocket,
1993,
Engelska,
ISBN 9780262731034
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, …
Automata, Languages and Programming
häftad,
1998,
Engelska,
ISBN 9783540647812
This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998.The 70 …
Formal Semantics of Programming Languages
E-bok,
1993,
Engelska,
ISBN 9780262291453
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming …
Seminar on Concurrency
häftad,
1985,
Engelska,
ISBN 9783540156703