| 000 | 00855 a a2200229 04500 | ||
|---|---|---|---|
| 001 | 13051 | ||
| 008 | 160608b xxu||||| |||| 00| 0 spa d | ||
| 020 | _a9783540719403 | ||
| 082 | 0 |
_a005.133 _bA551 |
|
| 245 | 0 |
_aAll about Maude: a high-performance logical framework: _bhow to specify, program, and verify systems in rewriting logic / _cManuel Clavel ... [et al.]. |
|
| 260 | 4 |
_aBerlin: _bSpringer, _c2007 |
|
| 300 | 4 | _a794 p. | |
| 490 |
_aLecture notes in computer science; _v4350 |
||
| 500 | 4 | _aIncluye 1 CD | |
| 504 | 4 | _aIncluye bibliografía e índice p. 757 | |
| 650 |
_95299 _aLOGICA SIMBOLICA |
||
| 650 |
_926689 _aPROCESO MENTAL DE LA INFORMACIÓN |
||
| 650 |
_9484 _aLENGUAJE DE PROGRAMACIÓN |
||
| 700 | 4 | 0 |
_aClavel, Manuel _930233 |
| 942 |
_2ddc _cBK |
||
| 999 |
_c11568 _d11568 |
||