Formal Syntax+semantics of Prog.lang.

Formal Syntax and Semantics of Programming Languages is a text designed for an advanced undergraduate or introductory graduate level course on the formal syntax and semantics of programming languages. This unique text takes a teaching/learning perspective rather than the traditional, research-oriented approach. This text is designed to present the typically difficult subject area of formal methods via an informal presentation. This text is accessible to students who have a basic grounding in discrete mathematics. A laboratory component provides the opportunity for practical application of difficult concepts.Slonneger, Kenneth is the author of 'Formal Syntax+semantics of Prog.lang.' with ISBN 9780201656978 and ISBN 0201656973.