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

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем....

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Кларк, Эдмунд М., мл
Այլ հեղինակներ: Грамберг, Орна, Пелед, Дорон, Захаров, В. (Թարգմանիչ, Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
English
Հրապարակվել է: Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002.
Խորագրեր:
Вычислительная техника > Вычислительные машины электронные цифровые
Программирование
Автоматизация
Верификация систем программирования
Верификация моделей программ
Параллельные системы с конечным числом состояний
Модели в темпоральной логике
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 01972nam a2200325 u 4500
001 000329076
003 AM-YeHGA
005 20210831131141.0
008 040420s2002 ||| r 000 0 rus d
020 |a 5940570542 
040 |a AM-YeHGA  |c AM-YeHGA  
041 1 |a rus  |h eng 
100 1 |a Кларк, Эдмунд М., мл. 
245 1 0 |a Верификация моделей программ=  |b Model Checking /  |c Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др. 
260 |a Москва :  |b Изд-во Моск. центра непрерыв. мат. образования,  |c 2002. 
300 |a 416 с.  |b ил. 
504 |a Библиогр.: с. 377-399 
520 |a В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем. 
650 1 4 |a Вычислительная техника  |x Вычислительные машины электронные цифровые 
650 1 4 |a Программирование 
650 1 4 |a Автоматизация 
653 0 |a Верификация систем программирования 
653 0 |a Верификация моделей программ 
653 0 |a Параллельные системы с конечным числом состояний 
653 0 |a Модели в темпоральной логике 
700 1 |a Грамберг, Орна 
700 1 |a Пелед, Дорон 
700 1 |a Захаров, В.  |e ред.  |4 edt  |e trl  |4 пер. 
999 |c 124430 
952 |o 519.68  |p 120650094 

Նմանատիպ նյութեր