Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Скачать:
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12853 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Целительное каланхоэ
Автор: Иван ДубровинНазвание: Целительное каланхоэИздательство: АлтейСерия: Всё о растенияхГод: 2007ISBN: 5-94132-748-XСтраниц: 48Размер: 1.6 мбФормат: DjvuКачество: хорошееИзвестно ли вам, какое комн . . .
-
Империя Чингис-хана
Название: Империя Чингис-ханаАвтор: Н.Н. Крадин, Т.Д. СкрынниковаИздательство: Восточная литератураГод: 2006Страниц: 557ISBN: 5-02-018521-3Формат: PDFКачество: ХорошееЯзык: РусскийРазмер: 27,44 мбВ м . . .
-
Целительный зверобой
Автор: Иван ДубровинНазвание: Целительный зверобойИздательство: АлтейСерия: Всё о растенияхГод: 2006ISBN: 5-94132-747-1Страниц: 48Размер: 1.6 мбФормат: DjvuКачество: хорошееПростуда? Гастрит? Аритмия? . . .
-
Целительная мята
Автор: Иван ДубровинНазвание: Целительная мятаИздательство: АлтейСерия: Всё о растенияхГод: 2006ISBN: 5-94132-750-1Страниц: 48Размер: 5.5 мбФормат: DjvuКачество: хорошееМята - травка маленькая и незам . . .
-
Клинические аспекты вич-инфекции
Название: Клинические аспекты вич-инфекцииАвтор: Джон Бартлетт, Джоел ГалантИздательство: MMHIVГод: 2007Формат: PDFРазмер: 5.65 Мб Качество: ХорошееЯзык: РусскийЭта книга предназначена для врачей и др . . .
-
Продукты пчеловодства и здоровье человека
Название: Продукты пчеловодства и здоровье человекаАвтор: М.Ф.Шеметков, Д.К.Шапиро,И.К.ДанусевичИздательство: "Ураджай" (Минск)Год: 1987Страниц: 104Формат: PDFРазмер: 11 МбКачество: хорошее Язык: русс . . .
-
Fundamentals of Biomedical Engineering
Название: Fundamentals of Biomedical EngineeringАвтор: G. S. SawhneyГод: 2007 г.Страниц: 273 стр.Формат: PDFЯзык: АнглийскийИздание: New Age InternstionalРазмер: 3,46 MбISBN: 978-81-224-2549-9 A well . . .
-
Целительный подорожник
Автор: Иван ДубровинНазвание: Целительный подорожникИздательство: АлтейСерия: Всё о растенияхГод: 2007Страниц: 48Размер: 1.2 мбФормат: DjvuКачество: хорошееПомните, как в детстве, поранив коленку, Вы . . .
-
Практика омоложения организма
Автор: Эвиад АрабулиНазвание: Практика омоложения организмаИздательство: София Год: 2007 Страниц: 49Формат: DOCРазмер: 1.13 МбВы желаете помолодеть на 15-20 лет? Вы хотите, чтобы Ваше тело стало как . . .
-
Флаги. Всемирная энциклопедия
Название: Флаги. Всемирная энциклопедияАвтор: Альфред ЗнамиеровскийИздательство: ЭксмоГод: 2009Страниц: 258Формат: PDF (+OCR)Размер: 55 мбISBN: 978-5-699-32161-2Качество: отличноеПеревод книги The Wor . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация моделей программ. Model Checking. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.