| 000 | 01574cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000000746 | ||
| 003 | VRT | ||
| 005 | 20250102224902.0 | ||
| 008 | 081019s1996 nyua |b 001 0 eng d | ||
| 020 | _a0132422077 | ||
| 039 | 9 |
_a201402040048 _bVLOAD _c201005171227 _dmalmash _c200811220921 _dvenkatrajand _c200810201142 _dalawaid _y200810191128 _zmusallam |
|
| 050 |
_aQA76.76 _b.D47 P68 1996 |
||
| 100 | 1 |
_aPotter, Ben. _948999 |
|
| 245 | 1 | 3 |
_aAn Introduction to Formal Specification and Z / _cBen Potter, Jane Sinclair, David Till |
| 250 | _a2nd ed | ||
| 260 |
_aNew York ; _aLondon : _bPrentice-Hall, _cc1996 |
||
| 300 |
_axiv, 434 p. : _bill. ; _c24 cm |
||
| 440 | 0 |
_aPrentice-Hall international series in computer science _913248 |
|
| 504 | _aIncludes bibliography and index | ||
| 505 | _a*Introduction. *Formal Specification within Software Engineering. *An informal introduction to Logic and Set Theory. *The Z Notation: Mathematical Language. *The Z Notation: Relations and Functions. *The Z Notation:Schemas and Specification Structure. *A First Specification.Formal Reasoning. *From Specification to Program. *From Theory to Practice. *Appendices. *Bibliography. *Index. | ||
| 520 | _aFollowing the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. | ||
| 630 | 0 | 0 |
_aZ (Computer program language) _949000 |
| 650 | 0 |
_aComputer programming _91258 |
|
| 700 | 1 |
_aSinclair, Jane. _949001 |
|
| 700 | 1 |
_aTill, David, _d1942-. _949002 |
|
| 942 |
_2lcc _n0 _cBK |
||
| 999 |
_c23110 _d23110 |
||