Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Скачать:
http://depositfiles.com
http://rapidshare.com
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12752 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Авторы: Истомина О.А., Павловский В.В. (ред.)Название: Психология и педагогика. В 3 ч. Часть 1. Психология личностиГод издания: 2007Страниц: 347Формат: PDF в архивеРазмер: 2,5 МбИздательство: Морской . . .
Название: Маркетинговые исследования потребительского рынкаАвтор: В. Анурин, И. Муромкина, Е. Евтушенко Год издания: 2004Издательство: ПитерISBN: 5-94723-644-3Страниц: . . .
Автор: Афонасенко И.М., Бахурин Ю.А. Название: Порт-Артур на Висле. Крепость Новогеоргиевск в годы Первой мировой войныИздательство: М.: СП-ПринтГод: 2009Количество страниц: 162 Формат: tifРазмер: 21 . . .
Название: Высокоизбирательные фильтры с транзисторамиАвтор: Александр Евгеньевич Знаменский, Екатерина Давыдовна ЛотковаИздательство: СвязьГод издания: 1966 Страниц: 76Формат: DJVUРазмер: 1,2 МБКачест . . .
Название: Принципы схемотехники электронных лампАвтор: С. ГавриловИздательство: СамиздатГод: 2009Страниц: 156Формат: DJVUРазмер: 1 MбЯзык: русскийЖелающие освоить подзабытую технику электронных ламп . . .
Автор: Furman McDonaldНазвание: Mayo clinic images in internal medicineИздательство: Informa HealthcareГод: 2004Страниц: 385Язык: АнглийскийФормат: pdf / rar + 3%Размер: 24,4 МБDesigned to highlig . . .
Автор: Ахлюстина М.А.Название: История российской интеллигенции XX столетия. Издательство: Челябинск: ЧГТУГод: 1996Формат: PDFРазмер: 5 MbВ пособии дается определение понятий "интеллигенция", "интелли . . .
Название: Памятные монеты России 1832-2005 гг.Автор: Коллектив авторовГод издания: 2006Издательство: Интеркрим-прессСтраниц: 567Формат: pdfРазмер: 235 MbКаталог - справочник. Описываются памятные и юб . . .
Автор: Kendall SuНазвание: Analog FiltersИздательство: Kluwer AcademicГод: 2002ISBN: 0-4020-7033-0Кол-во страниц: 423Формат: PDFРазмер: 13.13МбКачество: eBookЯзык: английскийCovers four major fundamen . . .
Название: Робски Оксана - Сборник книгАвтор: Робски ОксанаЖанр: современная прозаФормат: fb2Язык: русскийКачество: отличноеГод издания: 2000-2010Размер: 3 mb (+5%) ..."ZАМУЖ ЗА МИЛЛИОНЕРА, ИЛИ БРАК ВЫ . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация моделей программ. Model Checking. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.