| 000 | 02429nam a22004215i 4500 | ||
|---|---|---|---|
| 001 | 85577 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230207040517.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160201s2016 gw | s |||| 0|eng d | ||
| 020 | _a9783319295107 | ||
| 040 | _aES-MaUEC | ||
| 050 | 4 |
_aQA76.9.F67 _bF676 2016 |
|
| 082 | 0 | 4 | _a005.1015113 |
| 245 | 1 | 0 |
_aFormal Techniques for Safety-Critical Systems : _b4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers _cedited by Cyrille Artho, Peter Csaba Ölveczky |
| 250 | _a1st ed. | ||
| 260 |
_aCham _bSpringer International Publishing _c2016 |
||
| 300 |
_a1 recurso en línea (X, 271 p.) _b86 ilustraciones en color |
||
| 336 |
_aTexto (visual) _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 490 | 1 |
_aCommunications in Computer and Information Science _x1865-0929 _v596 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. . | ||
| 710 | 2 |
_aSpringerLink (Online service) _0Local _9106996 |
|
| 942 |
_2lcc _cLE |
||
| 988 | 0 | 0 | _aEBOOK, EBSPRINGER |
| 650 | 0 | 7 |
_aIngeniería del software _0LocalX _2embne _9152630 |
| 650 | 0 | 7 |
_aLenguajes de programación _0LocalX _2embne _9678605 |
| 650 | 0 | 7 |
_aInformática _0LocalX _2embne _9139268 |
| 700 | 1 |
_aArtho, Cyrille _eeditor literario _0Local _998670 |
|
| 700 | 1 |
_aÖlveczky, Peter Csaba. _eeditor literario _998671 _0Local |
|
| 830 | 0 |
_aCommunications in Computer and Information Science _x1865-0929 _v596 _9134222 |
|
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-29510-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 901 | _ai9783319295107 | ||
| 907 |
_a.b1294855x _b10-10-17 _c21-11-16 |
||
| 998 |
_am _a_alco _a_vill _b - - _cm _dz _e- _feng _ggw _h0 |
||
| 945 |
_aQA76.9.F67 F676 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i1159195x _z06-04-17 |
||
| 999 |
_c85577 _d85577 _x1 |
||