Coupon
Handbook of Theoretical Computer Science, Volume B : Formal Models and Semantics
by Author Unknown


Overview - 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.  Read more...

 
eBook

Retail Price: $375.00
$311.40

(Save 17%)

Download

Language: English

 
 
 
 

More About Handbook of Theoretical Computer Science, Volume B by Author Unknown
 
 
 
Overview
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.


This item is Non-Returnable.

 
Details
  • ISBN: 9780080933924
  • Publisher: Elsevier Science
  • Date: June 2014
 
Customer Reviews