Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
The Formal Semantics of Programming Languages
pocket,
1993,
Engelsk,
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, …
Dynamic Logic
pocket,
2000,
Engelsk,
ISBN 9780262527668
This book provides the first comprehensive introduction to Dynamic Logic.Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage …