Produkt mají v nabídce:
Theories of Programming Languages - Reynolds, John C. (Carnegie Mellon University, Pennsylvania)
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
