Популярное


Книга Э. М. Кларк, О. Грамберг, Д. Пелед - Верификация моделей программ. Model Checking скачать бесплатно

Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking
Издательство: МЦНМО
Год: 2002
Страниц: 416
Формат: DJVU, OCR
Размер: 4.59 MB (4,821,327 bytes)
ISBN: 5-94057-054-2, 978-5-94057-054-7
Качество: Отличное
Язык: Русский
От издателя

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем

От меня

Тираж 1000 экземпляров. Полезная книга, рекомендованная профессором Шалыто
Внимание! У Вас нет прав для просмотра скрытого текста.

Похожие книги

Model Checking. Верификация параллельных и распределенных программных систем.

программирование
Наименование: Model Checking. Верификация параллельных и распределенных программных систем. Создатель: Ю. Г. Карпов Издательство: БХВ-Петербург. Дата...

Fly Model №132 Mack Super Liner

увлечения, хобби, досуг
Название: Fly Model #132 Mack Super Liner Автор: Gomix Издательство: Gomix Год: 2001 Страниц: 22 Формат: JPG ...

Hobby Model №87

увлечения, хобби, досуг
Название: Ту - 160 Автор: Viking74 Издательство: Hobby Model Год: 2005 Страниц: 50 Формат: jpg Размер: 42.83mb ...

Журнал бумажных моделей Modelik

увлечения, хобби, досуг
Название: Modelik 1997 Автор: Modelik Издательство: Model Card Год: 1997 Формат: JPG Размер: 140 mb Качество: хорошее Язык: Польский Журнал...

Комментарии 9

zolo
zolo от 20 марта 2011 13:15
Класссно!!! Мне эта книга должна сильно помочь.
моинты
моинты от 20 марта 2011 19:11
Отличная книга! Огромное спасибо!
1437877
1437877 от 26 марта 2011 00:16
Очень нужна для работы
magot
magot от 19 апреля 2011 21:14
Спасибо за возможность изучить столько интересного и полезного!
kateinka
kateinka от 20 апреля 2011 13:37
Полезная книга! Доступно написана, рекомендована преподавателями для подготовки к экзамену
tanusha1204
tanusha1204 от 26 апреля 2011 14:19
Я прочитал с книги Карпова. Книга содержит основы верификации
kuzmich2009
kuzmich2009 от 3 мая 2011 20:42
спасибо! очень полезный сайт
BlackndWhite
BlackndWhite от 7 мая 2011 06:22
Очень рекомендовали прочесть
safushas
safushas от 7 мая 2011 19:32
книга - класс! Рекомендую читать
katya6540
katya6540 от 22 мая 2011 16:03
Сложно что-то сказать о книге, которую еще не читал...
Учитель
Учитель от 24 мая 2011 00:39
книга совершенно необходимая
vol3359
vol3359 от 10 июня 2011 00:31
очень нужная книга для подготовки к экзамену