Bozzano G Luisa 
Formal Models and Semantics [PDF ebook] 

Soporte
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.
€291.35
Métodos de pago
¡Compre este libro electrónico y obtenga 1 más GRATIS!
Idioma Inglés ● Formato PDF ● ISBN 9780080933924 ● Editorial Elsevier Science ● Publicado 2014 ● Descargable 3 veces ● Divisa EUR ● ID 5654846 ● Protección de copia Adobe DRM
Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

87.271 Ebooks en esta categoría