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.
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● ISBN 9780080933924 ● Yayımcı Elsevier Science ● Yayınlanan 2014 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 5654846 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir