Bozzano G Luisa 
Formal Models and Semantics [PDF ebook] 

Support
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éthodes de payement
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● ISBN 9780080933924 ● Maison d’édition Elsevier Science ● Publié 2014 ● Téléchargeable 3 fois ● Devise EUR ● ID 5654846 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

87 271 Ebooks dans cette catégorie