عنوان
پدید آورنده
موضوع
رده
.F6 2015 E-Book ,
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319229744
13620
انگلیسی
Formal Modeling and Analysis of Timed Systems
[electronic resources]
: 13th International Conference, FORMATS 2015 Madrid, Spain, September 2–4, 2015 Proceedings
\ Sriram Sankaranarayanan , Enrico Vicario (Eds.)
Cham
: Springer
, 2015
x, 321 p
Lecture Notes in Computer Science
; 9268
Index
Bibliography
Computer Applications.
Computer simulation -- Congresses.
Temporal automata -- Congresses.
کاربرد رایانه
کامپیوترها -- شبیهسازی -- کنگرهها
.
F6
2015
E-Book
,
Sankaranarayanan, Sriram
Vicario, Enrico
FORMATS (Conference) (13th : 2015 : Madrid, Spain)
ایران
20170129
9783319229744.pdf
p
BL
279177
1
a
N
