عنوان
پدید آورنده
موضوع
رده
QA267.5 .T45,F57 2011
QA267
.
5
.
T45
,
F57
2011
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر:
9780470027882 (cloth)
IR
E-6076
انگلیسی
IR
An introduction to practical formal methods using temporal logic
[Book]
/ Michael Fisher
Chichester, West Sussex
: Wiley,
, 2011.
vi, 353 p. , ill. , 26 cm.
Print
Includes bibliographical references and index.
Temporal automata
Logic, Symbolic and mathematical
511
.
3
QA267
.
5
.
T45
,
F57
2011
Fisher, Michael,1962-
ایران
old catalog
p
BL
1
a
Y
