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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9780080933924 ● Editora Elsevier Science ● Publicado 2014 ● Carregável 3 vezes ● Moeda EUR ● ID 5654846 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM