|
|
|
|
| LEADER |
01290nam a2200301a 44500 |
| 001 |
UBP02668 |
| 003 |
AR-CdUBP |
| 005 |
20220310151902.0 |
| 008 |
151212s1996#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-471-95067-X
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Loeckx, Jacques,
|d 1931-
|
| 245 |
1 |
0 |
|a Specification of abstract data types /
|c Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf
|
| 260 |
|
|
|a New York :
|b John Wiley,
|c 1996
|
| 300 |
|
|
|a xi, 260 p. ;
|c 23 cm.
|
| 504 |
|
|
|a Incluye referencias bibliográficas
|
| 505 |
0 |
|
|a I. Introduction. 1. Sofware design, data types and specification. II. Fundamental tools. 2. Many-sorted algebras. 3. Structuring algebras. 4. Algebras for different signatures. 5. Logic. III. Specification-in-the-small. 6. Loose specifications. 7. Initial specifications. 8. Constructive specifications. IV. Specification-in-the-large. 9. Specification languajes. 10. Modularization and parameterización. 11. A case study. V. Further topics. 12. Further topics.
|
| 650 |
|
4 |
|a TIPOS DE DATOS ABSTRACTOS
|
| 653 |
|
|
|a INFORMATICA
|
| 700 |
1 |
|
|a Ehrich, Hans-Dieter
|
| 700 |
1 |
|
|a Wolf, Markus
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 02668
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004.422.636
|b L822
|
| 999 |
|
|
|c 18247
|d 18247
|