Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского

By: Кларк, Эдмунд М. младшийContributor(s): Грамберг, Орна | Пелед, Дорон | Смелянский, Руслан Леонидович [edt]Material type: TextTextLanguage: Russian Original language: English Publication details: М. МЦНМО 2002Description: 416 с. ил. 22 смISBN: 5940570542Other title: Model Checking [Parallel title]Subject(s): Компьютеры персональные -- Программы -- Верификация | логические схемы | программное обеспечение | автоматизация отладки программ | моделирование параллельных систем | распределенные программы | коммуникационные протоколы | верификация моделей программ | проверка на модели | темпоральные логики | параллельные программы | теория автоматов | редукция частичных порядков | символьная верификация моделей | SMV программа верификации моделей | алгоритмы эквивалентности | алгоритмы квазипорядка | композиционные доказательства | абстракция данных | симметрия | количественный временной анализ | дискретное время | непрерывное реальное время | временные автоматы | бесконечные семейства | конечные системы | графовые грамматики | сетевые грамматикиOther classification: 22.18
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
1-904794к Э Крещение и общение церквей Сборник материалов коллоквиума в Крестовоздвиженском монастыре, Шеветонь, Бельгия 1-904795 72 Свод памятников архитектуры и монументального искусства России Тверская область; Редкол. : В. П. Выголов и др. ; Отв. ред. Г. К. Смирнов; Рос. акад. наук, Гос. ин-т искусствознания Ч. 1 1-904796 510 Конечно аксиоматизируемые теории 1-904797к 51 Верификация моделей программ: Model Checking 1-904798к Ю251 Системные исследования. Методологические проблемы Ежегодник. 2001 Вып. 30 1-904799 Н. С. Хрущев (1894-1971) Материалы научной конференции, посвященной 100-летию со дня рождения Н. С. Хрущева, 18 апреля 1994 года. Горбачев-Фонд 1-904800 Н. С. Хрущев (1894-1971) Материалы научной конференции, посвященной 100-летию со дня рождения Н. С. Хрущева, 18 апреля 1994 года. Горбачев-Фонд

Библиогр.: с. 377-399

Предм. указ.: с. 400-416

There are no comments on this title.

to post a comment.