Верификация моделей программ. Model Checking
Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Страниц: 416
Формат: DJVU
Размер: 4,47 Мб
Качество: Отличное
Язык: Русский
Год издания: 2002
В монографии всемирно модных экспертов в сфере математической логики и доктрины вычислений представлено абсолютное и доскональное изложение новейшего расклада к решению задачки выяснения верности функционирования трудных программных систем.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12825 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Книга Тринадцать подводных лодок, затопленных на рейде Севастополя
Название: Тринадцать подводных лодок, затопленных на рейде Севастополя Автор: В.Н. Бойко Страниц: 164 Формат: PDF Размер: 66 MB Качество: Отличное Язык: Русский Жанр: Военно-морской флот Год издания: . . .
-
Книга Восточный шанс. Русско-японская война 1904-1905 гг. в ретроспективе исторического выбора
Название: Восточный шанс. Русско-японская война 1904-1905 гг. в ретроспективе исторического выбора Автор: Шушкевич Ю.А. Страниц: 580 Формат: PDF Размер: 20 Мб Качество: Отличное Язык: Русский Год изда . . .
-
Книга Как разводить кроликов
Название: Как разводить кроликов Автор: Минина И.С. Формат: DJVU Размер: 22.44 мб Качество: Отличное Язык: Русский Год издания: 1973 Книга содержит сведения о том, какие породы кроликов нужно разводит . . .
-
Книга Танки Мира Коллекция № 4 2014
Название: Танки Мира Коллекция № 4 2014 Автор: Коллектив Страниц: 16 Формат: PDF Размер: 38.34 MB Качество: Отличное Язык: Русский Год издания: 2014 Танки Мира Коллекция – На страницах этого издания в . . .
-
Книга Здоровье: умные методики - 10 книг
Название: Здоровье: умные методики - 10 книг Автор: Коллектив авторов Формат: FB2 Размер: 27,2 Мб Качество: Отличное Язык: Русский Год издания: 2013 - 2014 Обычно о здоровье люди начинают думать тольк . . .
-
Книга Морская коллекция № 3 2015. Уникальный "Ураган", летящий над волнами. Малый ракетный корабль МРК-5 пр. 1240
Название: Морская коллекция № 3 2015. Уникальный "Ураган", летящий над волнами. Малый ракетный корабль МРК-5 пр. 1240 Автор: В.В. Костриченко Страниц: 36 Формат: PDF Размер: 43 МВ Качество: Отличное Я . . .
-
Книга Здоровье - без сигареты!
Название: Здоровье - без сигареты! Автор: Юрий Змановский, Юрий Лукоянов Формат: DJVU Размер: 1,7 мб Качество: Отличное Язык: Русский Год издания: 1979 Наблюдения и обследования показывают, что громад . . .
-
Книга "Noworosijsk" - Fly Model 104 (2-d Edition)
Название: "Noworosijsk" - Fly Model 104 (2-d Edition) Автор: Collective Страниц: 39 Формат: JPG Размер: 320 MB Качество: Отличное Язык: Польский Жанр: Военно-морской флот Год издания: 1995 Модель из к . . .
-
Книга Цзинь, Пин, Мэй, или Цветы сливы в золотой вазе в 4 томах. Том 3
Название: Цзинь, Пин, Мэй, или Цветы сливы в золотой вазе в 4 томах. Том 3 Автор: Составитель и ответственный редактор А.И.Кобзев Формат: DJVU Размер: 10,76 мб Качество: Отличное Язык: Русский Год изд . . .
-
Книга Поэтика драмы и эстетика театра в романе: Идиот и Анна Каренина
Название: Поэтика драмы и эстетика театра в романе: Идиот и Анна Каренина Автор: Полякова Е.А. Формат: DJVU Размер: 4 mb Качество: Отличное Язык: Русский Год издания: 2002 Монография посвящена теорети . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация моделей программ. Model Checking. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.