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.
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9780080933924 ● Uitgeverij Elsevier Science ● Gepubliceerd 2014 ● Downloadbare 3 keer ● Valuta EUR ● ID 5654846 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer