000 | 03101nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-031-22476-8 | ||
003 | DE-He213 | ||
005 | 20240730203108.0 | ||
007 | cr nn 008mamaa | ||
008 | 221130s2022 sz | s |||| 0|eng d | ||
020 |
_a9783031224768 _9978-3-031-22476-8 |
||
024 | 7 |
_a10.1007/978-3-031-22476-8 _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 |
_aFormal Methods: Foundations and Applications _h[electronic resource] : _b25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings / _cedited by Lucas Lima, Vince Molnár. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXIV, 143 p. 36 illus., 20 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, _x1611-3349 ; _v13768 |
|
505 | 0 | _aInvited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers. | |
520 | _aThis book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. . | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aNatural language processing (Computer science). _94741 |
|
650 | 0 |
_aLogic programming. _92730 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aNatural Language Processing (NLP). _931587 |
650 | 2 | 4 |
_aLogic in AI. _933012 |
650 | 2 | 4 |
_aTheory of Computation. _9174444 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aComputer Communication Networks. _9174445 |
700 | 1 |
_aLima, Lucas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9174446 |
|
700 | 1 |
_aMolnár, Vince. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9174447 |
|
710 | 2 |
_aSpringerLink (Online service) _9174448 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031224751 |
776 | 0 | 8 |
_iPrinted edition: _z9783031224775 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13768 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-22476-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c97336 _d97336 |