000 | 02991nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-32759-9 | ||
003 | DE-He213 | ||
005 | 20240423125241.0 | ||
007 | cr nn 008mamaa | ||
008 | 120821s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642327599 _9978-3-642-32759-9 |
||
024 | 7 |
_a10.1007/978-3-642-32759-9 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aFM 2012: Formal Methods _h[electronic resource] : _b18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / _cedited by Dimitra Giannakopoulou, Dominique Mery. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXVI, 488 p. 142 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7436 |
|
505 | 0 | _aVerification -- synthesis -- runtime monitoring -- testing and controller synthesis -- novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics. | |
520 | _aThis book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aMachine theory. | |
650 | 0 | _aComputer science. | |
650 | 0 |
_aElectronic data processing _xManagement. |
|
650 | 1 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aIT Operations. |
650 | 2 | 4 | _aTheory of Computation. |
700 | 1 |
_aGiannakopoulou, Dimitra. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aMery, Dominique. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642327582 |
776 | 0 | 8 |
_iPrinted edition: _z9783642327605 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7436 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-32759-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c175887 _d175887 |