Formal Syntax and Semantics of Programming Languages

Formal Syntax and Semantics of Programming Languages
by Kenneth Slonneger, Barry L. Kurtz

Publisher: Addison Wesley Longman 1994
ISBN/ASIN: 0201656973
ISBN-13: 9780201656978
Number of pages: 637

Description:
The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. A "laboratory component" is integrated throughout the text.