Normal view
MARC view
Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского
Material type:
TextLanguage: Russian Original language: English Publication details: М. МЦНМО 2002Description: 416 с. ил. 22 смISBN: 5940570542Other title: Model Checking [Parallel title]Subject(s): Компьютеры персональные -- Программы -- Верификация | логические схемы | программное обеспечение | автоматизация отладки программ | моделирование параллельных систем | распределенные программы | коммуникационные протоколы | верификация моделей программ | проверка на модели | темпоральные логики | параллельные программы | теория автоматов | редукция частичных порядков | символьная верификация моделей | SMV программа верификации моделей | алгоритмы эквивалентности | алгоритмы квазипорядка | композиционные доказательства | абстракция данных | симметрия | количественный временной анализ | дискретное время | непрерывное реальное время | временные автоматы | бесконечные семейства | конечные системы | графовые грамматики | сетевые грамматикиOther classification: 22.18
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| 1 месяц | Книгохранилище | 1-955707 (Browse shelf (Opens below)) | Available | 13820000587129 | ||
| Выдается в читальный зал | Книгохранилище | 1-904797к 51 (Browse shelf (Opens below)) | 1 | Available | 13820000430022 |
Библиогр.: с. 377-399
Предм. указ.: с. 400-416
There are no comments on this title.