Formal Models and Semantics

Formal Models and Semantics

EnglishEbook
Luisa, Bozzano G
Elsevier Science
EAN: 9780080933924
Available online
€332.72
Common price €369.68
Discount 10%
pc

Detailed information

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.
EAN 9780080933924
ISBN 0080933920
Binding Ebook
Publisher Elsevier Science
Publication date June 28, 2014
Language English
Country Uruguay
Authors Luisa, Bozzano G
Manufacturer information
The manufacturer's contact information is currently not available online, we are working intensively on the axle. If you need information, write us on [email protected], we will be happy to provide it.