000 | 03700nam a22006735i 4500 | ||
---|---|---|---|
001 | 978-3-030-45231-5 | ||
003 | DE-He213 | ||
005 | 20240508090327.0 | ||
007 | cr nn 008mamaa | ||
008 | 200417s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030452315 _9978-3-030-45231-5 |
||
024 | 7 |
_a10.1007/978-3-030-45231-5 _2doi |
|
050 | 4 | _aQA8.9-10.3 | |
072 | 7 |
_aPBCD _2bicssc |
|
072 | 7 |
_aPBC _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aPBCD _2thema |
|
072 | 7 |
_aPBC _2thema |
|
082 | 0 | 4 |
_a511.3 _223 |
245 | 1 | 0 |
_aFoundations of Software Science and Computation Structures _h[electronic resource] : _b23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / _cedited by Jean Goubault-Larrecq, Barbara König. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXV, 644 p. 1 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12077 |
|
506 | 0 | _aOpen Access | |
520 | _aThis open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; modelsof software security; and logical foundations of data bases. | ||
650 | 0 | _aMathematical logic. | |
650 | 0 |
_aComputer science _xMathematics. |
|
650 | 0 | _aDiscrete mathematics. | |
650 | 0 | _aCompilers (Computer programs). | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aLogic programming. | |
650 | 0 | _aComputer engineering. | |
650 | 0 | _aComputer networks . | |
650 | 1 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
650 | 2 | 4 | _aCompilers and Interpreters. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aLogic in AI. |
650 | 2 | 4 | _aComputer Engineering and Networks. |
700 | 1 |
_aGoubault-Larrecq, Jean. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aKönig, Barbara. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030452308 |
776 | 0 | 8 |
_iPrinted edition: _z9783030452322 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12077 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-45231-5 |
912 | _aZDB-2-SMA | ||
912 | _aZDB-2-SXMS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-SOB | ||
999 |
_c37737 _d37737 |