Scan barcode
514 pages • first pub 1998 (editions)
ISBN/UID: 9780521594141
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 13 October 1998
Description
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional pro...
Community Reviews
Content Warnings
514 pages • first pub 1998 (editions)
ISBN/UID: 9780521594141
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 13 October 1998
Description
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional pro...
Community Reviews
Content Warnings