| 000 | 02848cam a2200649Mi 4500 | ||
|---|---|---|---|
| 001 | on1255890493 | ||
| 003 | OCoLC | ||
| 005 | 20241203133546.0 | ||
| 008 | 210410s2021 gw ||| 0 eng d | ||
| 016 | 7 |
_a020213105 _2Uk |
|
| 020 | _a9783030737856 | ||
| 020 | _a3030737853 | ||
| 020 |
_a9783030737849 _qpaperback |
||
| 020 | _a3030737845 | ||
| 024 | 7 |
_a10.1007/978-3-030-73785-6 _2doi |
|
| 029 | 1 |
_aUKMGB _b020213105 |
|
| 035 | _a(OCoLC)1255890493 | ||
| 040 |
_aERD _beng _cERD _dOCLCO _dUKMGB _dOCLCO _dOCLCQ _dOCLCO _dOCLCL _dOCLCO |
||
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aUM _2thema |
|
| 072 | 7 |
_aUYF _2thema |
|
| 082 | 0 | 4 |
_a005.1015 _bR295 |
| 245 | 0 | 0 |
_aRecent Trends in Algebraic Development Techniques _h[electronic resource] : _b25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / _cedited by Markus Roggenbach. |
| 250 | _a1st ed. 2021. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2021. |
|
| 300 |
_aIX, 165 p. 38 illus., 8 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 |
_aTheoretical Computer Science and General Issues ; _v12669 |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 540 |
_aCurrent copyright fee: GBP19.00 _c42\0. _5Uk |
||
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 0 | _aComputer programming. | |
| 650 | 6 | _aLogique informatique. | |
| 650 | 6 | _aProgrammation (Informatique) | |
| 650 | 7 |
_aComputer science _xMathematics _2fast |
|
| 650 | 7 |
_aComputer software _xDevelopment _2fast |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast |
|
| 655 | 7 |
_aConference papers and proceedings _2fast |
|
| 700 | 1 |
_aRoggenbach, Markus. _eeditor. _0(orcid)0000-0002-3819-2787 _1https://orcid.org/0000-0002-3819-2787. |
|
| 710 | 2 |
_aSpringerLink (Online service) _1https://id.oclc.org/worldcat/entity/E39QH7JmpVCfQgfvqpgKWpVvTR |
|
| 758 |
_ihas work: _aRecent trends in algebraic development techniques (Text) _1https://id.oclc.org/worldcat/entity/E39PCFCTkfRJF7WwjbtfcWwFXd _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030737849 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783030737863 |
| 830 | 0 |
_aLNCS sublibrary. _nSL 1, _pTheoretical computer science and general issues ; _v12669. |
|
| 856 | 4 | 1 |
_uhttps://elib.tcd.ie/login?url=https://doi.org/10.1007/978-3-030-73785-6 _yTCD-affiliated readers may click here for access. |
| 856 |
_31850-9999 _uhttp://link.springer.com/ |
||
| 942 |
_2ddc _cBK _n0 |
||
| 948 | _hNO HOLDINGS IN P5A - 5 OTHER HOLDINGS | ||
| 999 |
_c41698 _d41698 |
||