Suchen und Finden
Service
Formal Models and Semantics
Gerard Meurant
Verlag Elsevier Reference Monographs, 2014
ISBN 9780080933924 , 1280 Seiten
Format PDF
Kopierschutz DRM
Geräte
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.
Shop