Formal Models and Semantics, PDF eBook

Formal Models and Semantics PDF

Part of the Handbook of Theoretical Computer Science series

PDF

Download Now
  • Information

Description

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Information

Save 5%

£230.00

£218.50

Download Now
Add to Basket
Sign in to add to wishlist

Information