| 000 | 01126nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | vtls000059870 | ||
| 003 | KUKTEM | ||
| 005 | 20251125093141.0 | ||
| 008 | 120521e2012 gw a f 001 0 eng d | ||
| 020 | _a9783642173356 | ||
| 020 | _a3642173357 | ||
| 020 | _a9783642173363 (electronic bk.) | ||
| 020 | _a3642173365 (electronic bk.) | ||
| 039 | 9 |
_a201207201635 _bfauzi _c201207201632 _dfauzi _y201205211611 _zfarina |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.M35 S26 2012 | ||
| 100 | 1 | _aSannella, D. | |
| 245 | 1 | 0 |
_aFoundations of algebraic specification and formal software development / _cDonald Sannella, Andrzej Tarlecki |
| 260 |
_aHeidelberg ; _aNew York : _bSpringer, _cc2012 |
||
| 300 |
_axvi, 581 p. : _bill. ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references and indexes | ||
| 650 | 0 |
_aComputer science _xMathematics |
|
| 650 | 0 | _aSoftware engineering | |
| 650 | 0 |
_aComputer software _xDevelopment |
|
| 650 | 0 | _aFormal methods (Computer science) | |
| 700 | 1 | _aTarlecki, Andrzej. | |
| 999 |
_aVIRTUA40 _c61876 _d61882 |
||
| 999 | _aVTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5040*6500*6501*6502*6503*7000*9992 | ||