Электронный каталог

Книга
УДК 621.398 L-45

Lecture Notes in Computer Science. Vol.193. Logics of Programs. Brooklyn, June 17-19, 1985 : Proceedings / ed. P. Parikh, G. Goos, J. Hartmanis . – Berlin; New York : Springer, 1985 . – 424 p.

621.398 L-45

Тезаурус = ГАСНТИ 50.41.25
Тезаурус = Автоматика. Вычислительная техника : программное обеспечение вычислительных машин, комплексов и сетей : прикладное(ППО)
Тезаурус = ГАСНТИ 50.01.13
Тезаурус = Автоматика. Вычислительная техника : общие вопросы : съезды, конгрессы, конференции, симпозиумы, семинары, выставки

И-4337 Кх