|
" Formal methods for dynamical systems "
Marco Bernardo ... [et al.] (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605841
|
| Doc. No
|
:
|
b435060
|
| Main Entry
|
:
|
International School on Formal Methods for the Design of Computer, Communication, and Software Systems(13th :2013 :, Bertinoro, Italy)
|
| Title & Author
|
:
|
Formal methods for dynamical systems : 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.)
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2013
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7938.Tutorial
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource :: ill. (some col.)
|
| ISBN
|
:
|
3642388744 (electronic bk.)
|
|
|
:
|
: 9783642388743 (electronic bk.)
|
|
|
:
|
9783642388736
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Subject
|
:
|
System design, Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67.I58 2013
|
|
|
:
|
QA76.9.F67.I58 2013
|
| Added Entry
|
:
|
Bernardo, Marco
|
| Added Entry
|
:
|
Ohio Library and Information Network
|
| Parallel Title
|
:
|
SFM 2013
|
|
|
:
|
: SFM 2013
|
| |