000 | 03038nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-030-34968-4 | ||
003 | DE-He213 | ||
005 | 20240730165610.0 | ||
007 | cr nn 008mamaa | ||
008 | 191114s2019 sz | s |||| 0|eng d | ||
020 |
_a9783030349684 _9978-3-030-34968-4 |
||
024 | 7 |
_a10.1007/978-3-030-34968-4 _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 |
_aIntegrated Formal Methods _h[electronic resource] : _b15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings / _cedited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. |
250 | _a1st ed. 2019. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019. |
|
300 |
_aXVII, 554 p. 1489 illus., 92 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 ; _v11918 |
|
520 | _aThis book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aLogic programming. _92730 |
|
650 | 0 |
_aComputer simulation. _95106 |
|
650 | 0 |
_aComputer engineering. _910164 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aTheory of Computation. _989751 |
650 | 2 | 4 |
_aLogic in AI. _933012 |
650 | 2 | 4 |
_aComputer Modelling. _989752 |
650 | 2 | 4 |
_aComputer Engineering and Networks. _989753 |
700 | 1 |
_aAhrendt, Wolfgang. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _989754 |
|
700 | 1 |
_aTapia Tarifa, Silvia Lizeth. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _989755 |
|
710 | 2 |
_aSpringerLink (Online service) _989756 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030349677 |
776 | 0 | 8 |
_iPrinted edition: _z9783030349691 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v11918 _989757 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-34968-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c86419 _d86419 |