عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 .I58 2013
QA76
.
9
.
F67
.
I58
2013
کتابخانه
محل استقرار
3642388744 (electronic bk.)
9783642388743 (electronic bk.)
9783642388736
b435060
Formal methods for dynamical systems
[Book]
13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013: advanced lectures /
Marco Bernardo ... [et al.] (eds.)
New York :
Springer,
c2013
1 online resource :
ill. (some col.)
Tutorial
LNCS sublibrary. SL 2, Programming and software engineering
7938.
0302-9743 ;
Includes bibliographical references and index
OhioLINK electronic book center (Online)
SpringerLink
SFM 2013
SFM 2013
Formal methods (Computer science), Congresses
System design, Congresses
004
.
01/51
23
QA76
.
9
.
F67
QA76
.
9
.
F67
.
I58
2013
.
I58
2013
Bernardo, Marco
International School on Formal Methods for the Design of Computer, Communication, and Software Systems(13th :2013 :, Bertinoro, Italy)
Ohio Library and Information Network
20130909123400.0
مطالعه متن کتاب [Book]
Y
