| 000 | 02558nam a22004215i 4500 | ||
|---|---|---|---|
| 999 |
_c383170 _d383170 _x1 |
||
| 001 | 383170 | ||
| 003 | ES-MaUEC | ||
| 005 | 20240201134326.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220328s2022 sz | s |1|| 0|eng d | ||
| 020 | _a9783030992538 | ||
| 024 | 7 |
_a10.1007/978-3-030-99253-8 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA76.751 _b2022 EB |
|
| 245 | 0 | 0 |
_aFoundations of Software Science and Computation Structures : _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 | _aFirst edition 2022 | ||
| 264 | 1 |
_aCham _bSpringer International Publising _c2022 |
|
| 300 |
_a1 recurso en línea (XVI, 471 páginas) _b69 ilustraciones |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_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. | ||
| 988 | _aSpringer_Computer_2022 | ||
| 650 | 7 |
_2embne _9152630 _aIngeniería del software _vCongresos y asambleas |
|
| 650 | 7 |
_2embne _9143838 _aSoftware _vCongresos y asambleas |
|
| 700 | 1 |
_aBouyer, Patricia _eeditor literario _0(orcid)0000-0002-2823-0911 _1https://orcid.org/0000-0002-2823-0911 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783030992521 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030992545 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-99253-8 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b11/2022 _dz _esc _zSI |
||