Formal Models and Semantics

Formal Models and Semantics

EnglishHardback
Elsevier Science & Technology
EAN: 9780444880741
Unavailable at the publisher, title sold out
Unknown delivery date
€304.51
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available

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 9780444880741
ISBN 0444880747
Binding Hardback
Publisher Elsevier Science & Technology
Publication date October 24, 1990
Pages 1280
Language English
Country United Kingdom
Illustrations illustrations
Series Handbook of Theoretical Computer Science
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.