| 000 | 02798nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-25423-4 | ||
| 003 | DE-He213 | ||
| 005 | 20200420221250.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 151130s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319254234 _9978-3-319-25423-4 |
||
| 024 | 7 |
_a10.1007/978-3-319-25423-4 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aFormal Methods and Software Engineering _h[electronic resource] : _b17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / _cedited by Michael Butler, Sylvain Conchon, Fatiha Za�idi. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 |
_aXXV, 436 p. 150 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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9407 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer communication systems. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 0 | _aMathematical logic. | |
| 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 |
_aButler, Michael. _eeditor. |
|
| 700 | 1 |
_aConchon, Sylvain. _eeditor. |
|
| 700 | 1 |
_aZa�idi, Fatiha. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319254227 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9407 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-25423-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c52553 _d52553 |
||