000 | 02995nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-642-21437-0 | ||
003 | DE-He213 | ||
005 | 20240730195342.0 | ||
007 | cr nn 008mamaa | ||
008 | 110618s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642214370 _9978-3-642-21437-0 |
||
024 | 7 |
_a10.1007/978-3-642-21437-0 _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 2011: Formal Methods _h[electronic resource] : _b17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings / _cedited by Michael Butler, Wolfram Schulte. |
250 | _a1st ed. 2011. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
300 |
_aXIV, 450 p. 110 illus., 27 illus. in color. _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 ; _v6664 |
|
520 | _aThis book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aMachine theory. _9159996 |
|
650 | 0 |
_aElectronic data processing _xManagement. _9159997 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aProgramming Techniques. _9159998 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9159999 |
650 | 2 | 4 |
_aIT Operations. _931703 |
700 | 1 |
_aButler, Michael. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160000 |
|
700 | 1 |
_aSchulte, Wolfram. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9160001 |
|
710 | 2 |
_aSpringerLink (Online service) _9160002 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642214363 |
776 | 0 | 8 |
_iPrinted edition: _z9783642214387 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v6664 _9160003 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-21437-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c95593 _d95593 |