| 000 | 02243cam a2200601Ki 4500 | ||
|---|---|---|---|
| 001 | ocn887825577 | ||
| 003 | OCoLC | ||
| 005 | 20171026113259.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140819s2014 enka ob 001 0 eng d | ||
| 020 |
_a9781119002680 _q(electronic bk.) |
||
| 020 |
_a1119002680 _q(electronic bk.) |
||
| 020 |
_a9781119002727 _q(electronic bk.) |
||
| 020 |
_a1119002729 _q(electronic bk.) |
||
| 020 | _z1848217099 | ||
| 020 | _z9781848217096 | ||
| 029 | 1 |
_aAU@ _b000053548381 |
|
| 029 | 1 |
_aCHBIS _b010259755 |
|
| 029 | 1 |
_aCHBIS _b010290453 |
|
| 029 | 1 |
_aCHNEW _b000696705 |
|
| 029 | 1 |
_aCHNEW _b000696706 |
|
| 029 | 1 |
_aCHVBK _b325940037 |
|
| 029 | 1 |
_aCHVBK _b331625075 |
|
| 029 | 1 |
_aNZ1 _b15908971 |
|
| 029 | 1 |
_aDEBBG _bBV043397075 |
|
| 035 |
_a(OCoLC)887825577 _z(OCoLC)961504398 |
||
| 040 |
_aN$T _beng _erda _epn _cN$T _dDG1 _dYDXCP _dE7B _dOCLCF _dOCLCQ _dDEBBG |
||
| 049 | _aMAIN | ||
| 050 | 4 | _aQA76.9.B22 | |
| 072 | 7 |
_aCOM _x051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 0 | 0 |
_aFormal methods applied to complex systems : implementation of the B Method / _cedited by Jean-Louis Boulanger. _h[electronic resource] |
| 264 | 1 |
_aLondon : _bISTE ; _aHoboken, NJ : _bWiley, _c2014. |
|
| 300 | _a1 online resource. | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 | _aComputer engineering series | |
| 504 | _aIncludes bibliographical references and index. | ||
| 588 | 0 | _aPrint version record. | |
| 650 | 0 | _aB method (Computer science) | |
| 650 | 0 | _aFormal methods (Computer science) | |
| 650 | 7 |
_aCOMPUTERS _xSoftware Development & Engineering _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aB method (Computer science) _2fast _0(OCoLC)fst00824798 |
|
| 650 | 7 |
_aFormal methods (Computer science) _2fast _0(OCoLC)fst00932926 |
|
| 655 | 4 | _aElectronic books. | |
| 700 | 1 |
_aBoulanger, Jean-Louis, _eeditor. |
|
| 776 | 0 | 8 |
_iPrint version: _tFormal methods applied to complex systems _z1848217099 _w(DLC) 2014939764 _w(OCoLC)880199466 |
| 830 | 0 | _aComputer engineering series (London, England) | |
| 856 | 4 | 0 |
_uhttp://onlinelibrary.wiley.com/book/10.1002/9781119002727 _zWiley Online Library |
| 942 |
_2ddc _cBK |
||
| 999 |
_c207630 _d207630 |
||