000 | 03043nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-030-99253-8 | ||
003 | DE-He213 | ||
005 | 20240423125516.0 | ||
007 | cr nn 008mamaa | ||
008 | 220328s2022 sz | s |||| 0|eng d | ||
020 |
_a9783030992538 _9978-3-030-99253-8 |
||
024 | 7 |
_a10.1007/978-3-030-99253-8 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aFoundations of Software Science and Computation Structures _h[electronic resource] : _b25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / _cedited by Patricia Bouyer, Lutz Schröder. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXVI, 471 p. 69 illus. _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, _x1611-3349 ; _v13242 |
|
506 | 0 | _aOpen Access | |
520 | _aThis open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. . | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aData structures (Computer science). | |
650 | 0 | _aInformation theory. | |
650 | 0 | _aComputer systems. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 1 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aData Structures and Information Theory. |
650 | 2 | 4 | _aComputer System Implementation. |
650 | 2 | 4 | _aMathematics of Computing. |
700 | 1 |
_aBouyer, Patricia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSchröder, Lutz. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030992521 |
776 | 0 | 8 |
_iPrinted edition: _z9783030992545 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13242 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-99253-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-SOB | ||
942 | _cSPRINGER | ||
999 |
_c178704 _d178704 |