Верификация моделей программ: Model Checking пер. с англ.

Верификация моделей программ: Model Checking, пер. с англ.

Bibliographic Details
Main Author: Кларк, мл. Э. М. Эдмунд М.
Other Authors: Грамберг О. Орна, Пелед Д. Дорон
Language:Russian
Published: Москва, МЦНМО, 2002
Subjects:
вычислительная математика
параллельные системы
моделирование
темпоральные логики
верификация
теория автоматов
диаграммы
редукция
эквивалентность
квазипорядки
абстракция
симметрия
конечные системы
дискретное время
количественный анализ
непрерывное реальное время
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58736
Description
Physical Description:416 с. ил.
ISBN:5940570542

Similar Items