An introduction to practical formal methods using temporal logic / Michael Fisher.
Сохранить в:
: | |
---|---|
TeilnehmendeR: | |
Дата издания: | 2011 |
Язык: | English |
Online-ссылка: | |
Объем: | vii, 353 p. :; ill. |
Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Библиография: | Includes bibliographical references and index. |
---|---|
ISBN: | 9780470027882 9781119991489 |
Hierarchical level: | Monograph |
Statement of Responsibility: | Michael Fisher. |