| 000 | 00911naa a2200241 a 4500 | ||
|---|---|---|---|
| 003 | BD-DhGUBL | ||
| 005 | 20260127140116.0 | ||
| 008 | 251111s2014 enka b 001 0 eng d | ||
| 020 | _a9781848217096 | ||
| 020 | _a9781119002727 | ||
| 040 |
_aBD-DhGUBL _eBD-DhGUBL _cBD-DhGUBL _dBD-DhGUBL |
||
| 082 | 0 | 4 |
_223 _a004.0151 |
| 245 | 0 | 0 |
_aFormal methods applied to complex systems : _bimplementation of the B method / _cEdited by Jean-Lois Boulanger. |
| 260 |
_aLondon : _bISTE, _cc 2014. |
||
| 300 |
_axx, 490 p. : _bill. ; |
||
| 440 | _aComputer engineering series | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputer science _vFormal methods |
|
| 650 | 0 |
_aComputer science _xMathematical models |
|
| 700 |
_aBoulanger, Jean-Lois _eEditor |
||
| 856 |
_uhttps://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119002727?download=true _yClick here to download |
||
| 942 |
_2ddc _cEBK |
||
| 999 |
_c5390 _d5390 |
||