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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

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

Книга	Страницы для поиска
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7	508, 509
Baeten J.C.M., Middelburg С.A. — Process Algebra with timing	see "SOS"
Jones N.D. — Computability and complexity from a programming perspective	188

О проекте