Шифр: 004.4 К26
Карпов Ю. Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. – Санкт-Петербург : БХВ-Петербург, 2010. – 560 с. : ил. – ISBN 978-5-9775-0404-1. – 188,80
Карпов Ю. Г. MODEL CHECKING. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. – Санкт-Петербург : БХВ-Петербург, 2010. – 560 с. : ил. – ISBN 978-5-9775-0404-1. – 188,80
Статистика використання: Видач: 0
Де отримати
| Місце видачі: | Кількість: | В наявності: |
| Абонемент загальний к. 358 | 1 | 1 |
Тема:
- УДК
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V) Ключові слова
- програмні системи, программные системы, program systems
- системи реального часу, системы реального времени, Echtzeitsystemen
- верифікація, верификация
- кількісний аналіз, количественный анализ, quantitative analysis
- розподілені системи, распределенные системы
- темпоральні логіки, темпоральные логики
- структури Крипке, структуры Крипке
- бінарні діаграми, бинарные диаграммы
- символьна верифікація, символьная верификация
- паралельні системи, параллельные системы Ключові слова латиницею
- Model Checking
- Computational Tree Logic, CTL
- Leaner Temporal Logic, LTL