Поиск :
Личный кабинет :
Электронный каталог: Miller, D. - Programming with higher - order logic
Miller, D. - Programming with higher - order logic
Доступно
1 из 1
1 из 1
Книга
Автор: Miller, D.
Programming with higher - order logic
Издательство: Cambridge University Press, 2012 г.
ISBN 978-0-521-87940-8
Автор: Miller, D.
Programming with higher - order logic
Издательство: Cambridge University Press, 2012 г.
ISBN 978-0-521-87940-8
Заказать 
На полку
Книга
004 M70
Miller, D.
Programming with higher - order logic / D. Miller, G. Nadathur. – Cambridge [etc.]: Cambridge University Press, 2012. – 306 с. – На англ. яз. – ISBN 978-0-521-87940-8.
004.42
004.43
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Информатика и вычислительная техника = computer science and technology : языки программирования = computer languages [ 004.43 ]
58940 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 M70
004 M70
Miller, D.
Programming with higher - order logic / D. Miller, G. Nadathur. – Cambridge [etc.]: Cambridge University Press, 2012. – 306 с. – На англ. яз. – ISBN 978-0-521-87940-8.
004.42
004.43
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Информатика и вычислительная техника = computer science and technology : языки программирования = computer languages [ 004.43 ]
58940 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 M70