Поиск :
Личный кабинет :
Электронный каталог: Huth, M. - Logic in computer science
Huth, M. - Logic in computer science
Доступно
2 из 3
2 из 3
Книга
Автор: Huth, M.
Logic in computer science : modelling and reasoning about systems
Издательство: Cambridge University Press, 2004 г.
ISBN 0-521-54310-X
Автор: Huth, M.
Logic in computer science : modelling and reasoning about systems
Издательство: Cambridge University Press, 2004 г.
ISBN 0-521-54310-X
Заказать 
На полку
Книга
004 H95
Huth, M.
Logic in computer science: modelling and reasoning about systems / M. Huth, M. Ryan. – 2nd ed. – Cambridge: Cambridge University Press, 2004. – 427 с. – На англ. яз. – ISBN 0-521-54310-X.
004.42
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Математика = mathematics : математическое моделирование = mathematical modeling : в технике = in technics
19359 ин Библиотека НИУ ВШЭ Шаболовка 28/11, чит. зал : Shabolovka, Reading hall Научный 004 H95
19358 ин Библиотека НИУ ВШЭ Шаболовка 28/11, науч. аб-т : Shabolovka, Academic collection lending department Научный 004 H95
19357 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 H95
004 H95
Huth, M.
Logic in computer science: modelling and reasoning about systems / M. Huth, M. Ryan. – 2nd ed. – Cambridge: Cambridge University Press, 2004. – 427 с. – На англ. яз. – ISBN 0-521-54310-X.
004.42
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Математика = mathematics : математическое моделирование = mathematical modeling : в технике = in technics
19359 ин Библиотека НИУ ВШЭ Шаболовка 28/11, чит. зал : Shabolovka, Reading hall Научный 004 H95
19358 ин Библиотека НИУ ВШЭ Шаболовка 28/11, науч. аб-т : Shabolovka, Academic collection lending department Научный 004 H95
19357 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 H95