
Building High Integrity Applications with SPARK
John W. McCormick, Peter C. Chapin
₹8,414

Formal Models Based on Tree Transducers
by Heiko Vogler, Zoltan Fülöp
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
Free delivery. Nothing extra to pay at checkout.
Syntax-Directed Semantics: Formal Models Based on Tree Transducers is written by Heiko Vogler & Zoltan Fülöp. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2011) has 269 pages. It belongs to the Monographs in Theoretical Computer Science An EATCS Series series.
Topics covered include Mathematics, Symbolic and mathematical Logic, Computer science and Programming languages (electronic computers).