|
|
|
|
| LEADER |
01436nam a2200325a 44500 |
| 001 |
UBP01962 |
| 003 |
AR-CdUBP |
| 005 |
20220310151549.0 |
| 008 |
151212s1992#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-521-43457-2
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Feijs, L.M.G.
|
| 245 |
1 |
0 |
|a Formal specification and desing /
|c L.M.G. Feijs, H.B.M. JonKers.
|
| 260 |
|
|
|a New York :
|b Cambridge University,
|c 1992
|
| 300 |
|
|
|a xvi, 335 p. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Cambridge tracts in theoretical computer science ;
|v 35
|
| 504 |
|
|
|a Bibliografía: p. 303-307.
|
| 505 |
0 |
|
|a I. Algebraic specification. 1. Introducing the basic concept. 2. Setting up algebraic specifications. 3. Structuring algebraic specifications. 4. Implementing algebraic specifications. II. State-based specification. 5. From algebras to states. 6. Setting up stated-based specifications. 7. Structuring state-based specifications. 8. Implementing stated-based specifications. III. Advanced techniques. 9. Theoretical topics. 10. Additional language constructs. 11. Towards large systems. A, Syntax. B. Standard library.
|
| 650 |
|
4 |
|a INGENIERIA DEL SOFTWARE
|
| 650 |
|
4 |
|a DESARROLLO DEL SOFTWARE
|
| 650 |
|
4 |
|a PROGRAMACION ORIENTADA A OBJETOS
|
| 653 |
|
|
|a INFORMATICA
|
| 700 |
1 |
|
|a Jonkers, H.B.M.
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 01962
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004.4'2
|b F323
|
| 999 |
|
|
|c 17577
|d 17577
|