| 000 | 00898nam a2200277 4500 | ||
|---|---|---|---|
| 001 | 6063 | ||
| 010 |
_a0-387-94006-5 _bencadernado _dEsc 8 190$ |
||
| 090 | _a6063 | ||
| 100 | _a19941108d1993 k||y0pory50 ba | ||
| 101 | _aeng | ||
| 102 | _aUS | ||
| 200 |
_aLarch _elanguages and tools for formal specification _fJohn V. Guttag, James J. Horning, S. J. Garland |
||
| 210 |
_aNew York _cSpringer-Verlag _dcop. 1993 |
||
| 215 |
_aXIII, 250 p. _cil. _d24 cm |
||
| 225 | _aTexts and monographs in computer science | ||
| 606 |
_aComputadores eletrónicos digitais _xProgramação |
||
| 606 | _aLarch (Linguagem de programação) | ||
| 606 |
_aSoftware _xDesenvolvimento |
||
| 680 | _aQA76.6 | ||
| 700 |
_aGuttag _bJohn V. |
||
| 701 |
_aGarland _bS. J. _4070 _913758 |
||
| 701 |
_aHorning _bJames J. _4070 _913759 |
||
| 801 |
_gRPC _aPT |
||
| 942 |
_2lcc _cA _n0 |
||