|
|
|
|
| LEADER |
00709namaa22002175a 4500 |
| 001 |
31678 |
| 003 |
AR-RiUNS |
| 005 |
20171005164133.0 |
| 008 |
120419t1997 |||a 00 0 eng d |
| 020 |
|
|
|a 9780521559768
|
| 245 |
1 |
4 |
|a The way of Z :
|b practicalprogramming with formal methods /
|c Jonathan Jacky.
|
| 260 |
|
|
|a Cambridge, U.K. :
|b Cambridge University Press,
|c 1997
|
| 500 |
|
|
|a Bibliografía: p. 328-339.
|
| 082 |
0 |
|
|a 005.12
|2 20 ES
|
| 650 |
|
7 |
|a PROGRAMACION (COMPUTADORAS ELECTRONICAS)-LENGUAJES
|2 LEMB.1
|
| 650 |
|
7 |
|a PROGRAMACION (COMPUTADORAS ELECTRONICAS)
|2 LEMB.1
|
| 100 |
1 |
|
|a Jacky, Jonathan.
|
| 300 |
|
|
|a xviii, 350 p.
|b diagrs.
|c 24 cm.
|
| 040 |
|
|
|c AR-RiUNS
|
| 942 |
|
|
|c LIBRO
|
| 999 |
|
|
|c 11013
|d 11013
|