| 000 | 00986aaa a2200265 a 4500 | ||
|---|---|---|---|
| 003 | BD-DhGUBL | ||
| 005 | 20251111122158.0 | ||
| 008 | 140721s2014 enka b 001 0 eng | ||
| 020 | _a9781848217096 | ||
| 020 | _a9781119002727 | ||
| 040 |
_aBD-DhGUBL _eBD-DhGUBL _cBD-DhGUBL |
||
| 082 | 0 | 4 |
_a004.0151 _223 |
| 100 |
_aBoulange, Jean-Lois _eEditor |
||
| 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, 490p. : _bill. : |
||
| 490 | 1 | _aComputer engineering series | |
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 | _aFormal methods (Computer science) | |
| 650 | 0 | _aB method (Computer science) | |
| 650 | 0 |
_aComputer science _xMathematical models. |
|
| 710 | _aPomerol, Jean-Charles | ||
| 856 |
_uhttps://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/9781119002727?download=true _yClick here to download |
||
| 942 |
_2ddc _cEBK |
||
| 999 |
_c5390 _d5390 |
||