| 000 | 00821nam a22002417a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20221101153733.0 | ||
| 008 | 221101b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780511663079 | ||
| 100 |
_aRoever, Willem-Paul de _eAuthor |
||
| 245 |
_aData refinement : model-oriented proof methods and their comparison _cby Willem-Paul de Roever and Kai Engelhardt |
||
| 260 |
_bCambridge university press _c2010 |
||
| 440 | _aCambridge tracts in theoretical computer science; no. 47 | ||
| 653 | _aAlgorithmics | ||
| 653 | _aComplexity | ||
| 653 | _aComputer Algebra | ||
| 653 | _aComputational Geometry | ||
| 653 | _aComputer Science | ||
| 653 | _aProgramming Languages and Applied Logic | ||
| 700 |
_aEngelhardt, Kai _eAuthor |
||
| 856 | _uhttps://doi.org/10.1017/CBO9780511663079 | ||
| 942 |
_2ddc _cEB |
||
| 999 |
_c25668 _d25668 |
||