Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Скачать:
http://depositfiles.com
http://rapidshare.com
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12761 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Автор: Виктор Бурьянов Название: Прогулка с детьми по С.Петербургу и его окрестностям. Часть 3 Издательство: С.Петербург. В типографии главного управления путей сообщения и публичных зданий Язык: Рус . . .
Автор:Сысоев А.А.Название: Физиология размножения с-х животныхИздательство: КолосГод: 1978Формат: pdfРазмер: 24 mbВ книге рассмотрены физиологические процессы размножения животных различных видов.http . . .
Women's basketball is more popular now than ever, and the number of girls playing youth basketball is at an all-time high. At the same time, the competition on the court has become stiffer than ever b . . .
Автор: Роберт А. УилсонНазвание: Моя жизнь после смертиИздательство: ЭкслибрисГод: 2002ISBN: 5-7101-0071-4Язык: РусскийСтраниц: 320 Формат: RTF,TXTРазмер: 11 мбАннотацияАвтор расскажет о своей жизни п . . .
Автор: Ra'anan Weiss; Alon KorenНазвание: McDonnell Douglas / Boeing F-15 BazИздательство: IsraDecal PublicationsСерия: Aircraft of the Israeli Air Force №5ISBN: 9657220068Год: 2006Формат: PDFСтраниц . . .
Название: Царская Россия и дело БейлисаАвтор: Тагер А.С.Издательство: Книжная лавка - РТР, ТерраISBN: 5-300-00809-5Серия: Тайны истории в романах, повестях и документахГод: 1996Формат: PDFЯзык: русски . . .
Автор:Налимов В.В., Чернова Н.А. Название: Статистические методы планирования экстремальных экспериментовИздательство: М.: МирГод: 1965Формат: djvuРазмер: 2 mb1 Математический аппарат регрессионного а . . .
Автор: Щербачев Ю.Н.Название: Подписи царей Бориса Годунова и Алексея Михайловича Издательство: М.: Университетская тип.Год: 1894 Формат: pdfРазмер: 5 mbВ настоящей статье автор решает вопрос о подлин . . .
Название: Строительные машины и средства малой механизацииАвтор: Щемелёв А.М., Партнов С.Б., Белоусов Л.И.Издательство: Мн.: Дизайн ПРОГод: 1998Страниц: 272ISBN: 985-6182-55-7Формат: PDFРазмер: 22.3 M . . .
Автор: Коллектив авторовНазвание: Кошки: Вышивка КрестомИздательство: Мир книгиГод: 2012Формат: jpgРазмер: 52,06 МбСтраниц: 61В книге, посвященной вышивке крестиком, собрана коллекция мотивов для выши . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация моделей программ. Model Checking. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.