|
|
|
|
| LEADER |
01056nam a2200289a 44500 |
| 001 |
UBP00439 |
| 003 |
AR-CdUBP |
| 005 |
20220310150848.0 |
| 008 |
151212s1996#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-201-40356-0
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Wordsworth, J. B.
|
| 245 |
1 |
0 |
|a Software engineering with B /
|c J. B. Wordsworth
|
| 260 |
|
|
|a Harlow :
|b Addison-Wesley,
|c 1996
|
| 300 |
|
|
|a 331 p. ;
|c 30 cm.
|
| 490 |
0 |
|
|a International computer science series
|
| 504 |
|
|
|a Bibliografía: p. 306-309
|
| 505 |
0 |
|
|a 1. Introduction. 2. Structure of a simple machine. 3. The class manager's assistant. 4. Deferred sets and non-determinism. 5. Constructing large machines. 6. More substitutions for machines. 7. Softwre design. 8. Implementations. 9. API-layer machines and their implementations. 10. Refinements. Appendix.
|
| 650 |
|
4 |
|a INGENIERIA DEL SOFTWARE
|
| 653 |
|
|
|a INFORMATICA
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 00439
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a EBA
|
| 984 |
|
|
|a 004.41
|b W89
|
| 999 |
|
|
|c 16055
|d 16055
|