| 000 | 00894nam a2200265Ia 4500 | ||
|---|---|---|---|
| 005 | 20260121172011.0 | ||
| 008 | 008 260114s9999 xx 000 0 eng d | ||
| 020 | _a9783030549947 | ||
| 037 | _aEBOOK | ||
| 040 | _aCRL | ||
| 040 | _beng | ||
| 040 | _cCRL | ||
| 041 | _2eng | ||
| 041 | _aeng | ||
| 084 | _qCRL | ||
| 100 |
_aEmil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas _91083072 |
||
| 245 | 0 | _aFormal Methods. FM 2019 International Workshops | |
| 260 | _bSpringer | ||
| 260 | _bSpringer | ||
| 260 | _c2020 | ||
| 856 | _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-54994-7 | ||
| 942 | _cEBOOK | ||
| 999 |
_c1648806 _d1648806 |
||