Saxo Access
Indkøbskurv
  3. Formal Models and Semantics
Formal Models and Semantics (e-bog) af Luisa, Bozzano G
Luisa, Bozzano G (forfatter)

Formal Models and Semantics e-bog

2921,57 DKK (inkl. moms 3651,96 DKK)
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.
E-bog 2921,57 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Luisa, Bozzano G (forfatter)
Forlag Elsevier Science
Udgivet 28 juni 2014
Genrer Information theory
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9780080933924

Beskrivelse

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.