|
|
|
|
| LEADER |
01111nam a2200301a 44500 |
| 001 |
UBP04379 |
| 003 |
AR-CdUBP |
| 005 |
20220310152747.0 |
| 008 |
151212s1992#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-19-853836-7
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 110 |
|
|
|a Ince
|
| 245 |
1 |
0 |
|a An introduction to discrete mathematics, formal system specification, and Z /
|c Ince
|
| 250 |
|
|
|a 2nd. ed.
|
| 260 |
|
|
|a Oxford :
|b Clarendon,
|c 1992
|
| 300 |
|
|
|a x, 286 p. ;
|c 20 cm.
|
| 490 |
0 |
|
|a Oxford Applied Mathematics and Computing Science Series
|
| 504 |
|
|
|a Bibliografía: p. 281-282
|
| 505 |
0 |
|
|a 1. Commercial software development. 2. Propositional calculus. 3. Predicate calculus. 5. Set theory. 6. Relations. 7. Functions and sequences. 8. The specification language Z. 9. Operations and objects in Z. 10. The Z schema calculus. 11. Some small Z examples. 12. A large Z specification. 13. Z and design.
|
| 650 |
|
4 |
|a MATEMATICAS
|
| 653 |
|
|
|a MATEMATICAS
|
| 930 |
|
|
|a MATEMATICAS
|
| 931 |
|
|
|a 04379
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 519.6
|b In2i2
|
| 999 |
|
|
|c 19943
|d 19943
|