Нумерология по дате рождения

Поиск книг

Название:
Автор:
Издатель:
Год издания:
ISBN:
> Новые отзывы
> Новые оценки
The Reader (1856) by Ferdinand Heilbuth

Temporal Logic in Finite-State Verification

Оценка пользователей:

Автор: Lambert M. Surhone
Издательство:
Год издания: 2010
Страниц: 88
ISBN: 9786130527013

Аннотация:

High Quality Content by WIKIPEDIA articles! In finite-state verification, model checkers examine finite-state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as pr

Посмотреть в магазинах:

Ozon: подробнее
My-shop: искать
Books: искать

Другие сервисы поиска:

Findbook: искать

Книгу "Temporal Logic in Finite-State Verification" (Lambert M. Surhone) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.

Оставьте свой отзыв о книге:

Ваше имя:
Отзыв (5 слов и более):
Проверочный код ():
(c) KBD.RU