Поиск :
Личный кабинет :
Электронный каталог: Кларк, мл., Э. М. - Верификация моделей программ: Model Checking
Кларк, мл., Э. М. - Верификация моделей программ: Model Checking
Доступно
1 из 2
1 из 2
Книга
Автор: Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Автор: Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Заказать 
На полку
Книга
51 К474
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking / Э. М. Кларк, мл., О. Грамберг, Д. Пелед; Пер. с англ. В. Захарова, и др.; Пер. с англ. под ред. Р. Смелянского. – М.: МЦНМО, 2002. – 416 с. – ISBN 5-940570-54-2.
510
004.42
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ] : алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
54069 Библиотека НИУ ВШЭ Мясницкая, науч.аб-т : Myasnitskaya, Academic collection lending department Научный 51 К474
54068 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 К474
51 К474
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking / Э. М. Кларк, мл., О. Грамберг, Д. Пелед; Пер. с англ. В. Захарова, и др.; Пер. с англ. под ред. Р. Смелянского. – М.: МЦНМО, 2002. – 416 с. – ISBN 5-940570-54-2.
510
004.42
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ] : алгоритмы составления программ = program synthesis algorithm [ 004.421 ]
54069 Библиотека НИУ ВШЭ Мясницкая, науч.аб-т : Myasnitskaya, Academic collection lending department Научный 51 К474
54068 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 51 К474