| 000 | 02632nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-24559-6 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083815.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 111021s2011 gw | s |||| 0|eng d | ||
| 020 |
_a9783642245596 _9978-3-642-24559-6 |
||
| 024 | 7 |
_a10.1007/978-3-642-24559-6 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 100 | 1 |
_aQin, Shengchao. _eeditor. |
|
| 245 | 1 | 0 |
_aFormal Methods and Software Engineering _h[electronic resource] : _b13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / _cedited by Shengchao Qin, Zongyan Qiu. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
| 300 |
_aXIV, 670p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6991 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer Communication Networks. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer software. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 700 | 1 |
_aQiu, Zongyan. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642245589 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6991 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-24559-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c108513 _d108513 |
||