Верификация моделей программ. Model Checking
 

Navigation
 

Downloads

Free Downloads
 

Верификация моделей программ. Model Checking



Наука И Учеба







Название: Верификация моделей программ. Model Checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Страниц: 416
Формат: DJVU
Размер: 4,47 Мб
Качество: Отличное
Язык: Русский
Год издания: 2002
В монографии всемирно модных экспертов в сфере математической логики и доктрины вычислений представлено абсолютное и доскональное изложение новейшего расклада к решению задачки выяснения верности функционирования трудных программных систем.
Скачать книгу: http://depositfiles.com/files/wasip9k2c http://wbooks.ifolder.ru/20172821





Верификация моделей программ. Model Checking

Free Верификация моделей программ. Model Checking, Online, Скачать, Бесплатно, бесплатно без регистрации.
Related Posts "Верификация моделей программ. Model Checking":

Search


 

Best Soft

 

Free Soft

 

This site does not store any files on its server. We only index and link to content provided by other sites.

RSS | Site Map | Map | PageMap

Copyright © Книги, Журналы, Аудиокниги. All rights reserved.