Поиск :
Личный кабинет :
Электронный каталог: Кларк, Эдмунд М., мл. - Верификация моделей программ: Model Checking
Кларк, Эдмунд М., мл. - Верификация моделей программ: Model Checking
Доступно
1 из 1
1 из 1
Книга
Автор: Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Автор: Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Заказать 
На полку
Книга
Ц840а К-474
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking / Эдмунд М., мл.Кларк, Орна Грамберг, Дорон Пелед ; Пер. с англ.: В.Захаров, [и др.] ; Ред. пер. с англ.: Р.Смелянский. – М. : МЦНМО, 2002. – 416 с. : ил. – Библиогр.: с.377-399. – Пер. изд.: Model Checking/ Clarke E.M., jr. et al. (Cambridge, London, 2001). – ISBN 5-940570-54-2.
Ц840а + С14
519.68
Индексный (книги) = Ц 840 а - Программирование математических задач
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ц840а К-474
Кларк, Эдмунд М., мл.
Верификация моделей программ: Model Checking / Эдмунд М., мл.Кларк, Орна Грамберг, Дорон Пелед ; Пер. с англ.: В.Захаров, [и др.] ; Ред. пер. с англ.: Р.Смелянский. – М. : МЦНМО, 2002. – 416 с. : ил. – Библиогр.: с.377-399. – Пер. изд.: Model Checking/ Clarke E.M., jr. et al. (Cambridge, London, 2001). – ISBN 5-940570-54-2.
Ц840а + С14
519.68
Индексный (книги) = Ц 840 а - Программирование математических задач
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |