| Приобретаем товары в нашем каталоге! | ||
|
» Каталог
» Книги » Компьютеры и Интернет » Программирование » Методология » Математика
MODEL СHECKING. Верификация параллельных и распределенных программных систем. Ю. КарповВ книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking... |
465 руб |
© 2010-2013 - Приобретаем.ру - интернет-магазин