Formal Models and Semantics
Price for Eshop: 7949 Kč (€ 318.0)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.