عنوان
پدید آورنده
موضوع
رده
QA76.9.C65 F67 2011
QA76
.
9
.
C65
F67
2011
کتابخانه
محل استقرار
364224310X (electronic bk.)
9783642243103 (electronic bk.)
9783642243097
b512695
Formal modeling and analysis of timed systems :
[Book]
9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
Uli Fahrenberg, Stavros Tripakis (eds.).
New York :
Springer,
[2011]
©2011
1 online resource (xi, 351 pages) :
illustrations.
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
6919
0302-9743 ;
International conference proceedings
Includes bibliographical references and author index
SpringerLink
FORMATS 2011
Computer simulation, Congresses.
Formal methods (Computer science), Congresses.
Temporal automata, Congresses.
003/
.
3
23
QA76
.
9
.
C65
F67
2011
Fahrenberg, Uli.
Tripakis, Stavros.
FORMATS 2011(2011 :, Aalborg, Denmark)
Ohio Library and Information Network.
20120425035513.0
rda
مطالعه متن کتاب [Book]
Y
