Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Compare buying options
One live offer. The cheapest is used.Product 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.
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop