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

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

Lecture Notes in Computer Science. Vol.193. Logics of Programs.Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : Proceedings / ed. E. Clarke, G. Goos, J. Hartmanis, D. Kozen . – Berlin; New York : Springer, 1984 . – 527 p.

621.398 L-45

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

И-4272 Кх