10

МАГАЗИНОВ

СРАВНИТЕ

ЦЕНЫ

Theories of Programming Languages

John C. Reynolds

ISBN: 0521594146;

Издательство: Cambridge University Press

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