Fr. 408.70

Unknown, Author Unknown, J. van Leeuwen

FORMAL MODELS AND SEMANTICS

English · Hardback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing.

Product details

Authors	Unknown, Author Unknown, J. van Leeuwen
Publisher	ELSEVIER SCIENCE BV

Languages	English
Product format	Hardback
Released	24.10.1990

EAN	9780444880741
ISBN	978-0-444-88074-1
No. of pages	1280

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.