Верификация моделей программ: Model Checking : пер. с англ. / Э. М. Кларк, мл., О. Грамберг, Д. Пелед
Language: русский ; of original work, английский.Country: Россия.Publication: Москва : МЦНМО, 2002Description: 416 с. : ил.ISBN: 5940570542.Bibliography: Библиогр.: с. 377-399; Предметный указатель: с. 400-416.Subject: вычислительная математика | параллельные системы | моделирование | темпоральные логики | верификация | теория автоматов | диаграммы | редукция | эквивалентность | квазипорядки | абстракция | симметрия | конечные системы | дискретное время | количественный анализ | непрерывное реальное время| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Учебный фонд | 519 К474 | Available | 13821000212698 | ||||||||||||||
| Books | НТБ ТПУ Научный фонд | 04-3635 | Available | 13821000180268 | ||||||||||||||
| Books | НТБ ТПУ Научный фонд | 03-4868 | Available | 13821000098895 |
Total holds: 0
Библиогр.: с. 377-399
Предметный указатель: с. 400-416
There are no comments on this title.
Log in to your account to post a comment.