Поиск :
Личный кабинет :
Электронный каталог: Кларк, мл., Э. М. - Верификация моделей программ: Model Checking
Кларк, мл., Э. М. - Верификация моделей программ: Model Checking
Доступно
1 из 1
1 из 1
Книга
Автор: Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Автор: Кларк, мл., Э. М.
Верификация моделей программ: Model Checking
Издательство: МЦНМО, 2002 г.
ISBN 5-940570-54-2
Заказать 
На полку
Книга
УДК 519 К474
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking : пер. с англ. / Э. М. Кларк, мл., О. Грамберг, Д. Пелед. – М. : МЦНМО, 2002. – 416 с. – ISBN 5-940570-54-2.
519 К474
Тезаурус = ГАСНТИ 27.47.21
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : математическая кибернетика : теория математических машин и программирование
Тезаурус = Математика : основания математики и математическая логика
1030887 Кх
УДК 519 К474
Кларк, мл., Э. М.
Верификация моделей программ: Model Checking : пер. с англ. / Э. М. Кларк, мл., О. Грамберг, Д. Пелед. – М. : МЦНМО, 2002. – 416 с. – ISBN 5-940570-54-2.
519 К474
Тезаурус = ГАСНТИ 27.47.21
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : математическая кибернетика : теория математических машин и программирование
Тезаурус = Математика : основания математики и математическая логика
1030887 Кх