Поиск книг, содержащих Semantics, operational :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Semantics, operational

Книга	Страницы для поиска
Terry P.D. — Compliers and Compiler Generators: An Introduction With C++	68
Pierce B.C. — Basic category theory for computer scientists	59
Queinnec C. — Lisp in Small Pieces	148
Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science	468, 499, 557—592
McGettrick A.D. — The Definition of Programming Languages	107—111, 123—137

О проекте