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.18Item 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 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 377-399
Предм. указ.: с. 400-416
There are no comments on this title.
Log in to your account to post a comment.