| 000 | 01191cam a22003255i 4500 | ||
|---|---|---|---|
| 001 | u133870 | ||
| 003 | SIRSI | ||
| 005 | 20240619145352.0 | ||
| 008 | 111019s2012 nyu 000 0 eng | ||
| 020 | _a9783642173356 | ||
| 020 | _a3642173357 | ||
| 050 | 1 | 4 |
_aQA76.9.M35 _b.S26 2012 |
| 100 | 1 |
_aSannella, Donald. , _eauthor _954336 |
|
| 245 | 1 | 0 |
_aFoundations of algebraic specification and formal software development / _cDonald Sannella, Andrzej Tarlecki. |
| 264 | 1 |
_aNew York : _bSpringer, _c2012. |
|
| 300 |
_axvi, 581 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 1 | _aMonographs in theoretical computer science | |
| 596 | _a1 3 | ||
| 650 | 0 |
_aComputer science _xMathematics. _97119 |
|
| 650 | 0 |
_aSoftware engineering. _9189 |
|
| 650 | 0 |
_aComputer software _xDevelopment. _93381 |
|
| 650 | 0 |
_aFormal methods (Computer science). _938711 |
|
| 700 | 1 |
_aTarlecki, Andrzej. _954337 |
|
| 907 |
_a.b1023875x _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _gnyu _h0 |
||
| 999 |
_c15254 _d15254 |
||