Bozzano G Luisa 
Formal Models and Semantics [PDF ebook] 

Apoio

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.

€294.73
Métodos de Pagamento
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

Mais ebooks do mesmo autor(es) / Editor

87.603 Ebooks nesta categoria