The way of Z : practicalprogramming with formal methods /

Guardado en:
Detalles Bibliográficos
Autor principal: Jacky, Jonathan
Formato: Libro
Lenguaje:Inglés
Publicado: Cambridge, U.K. : Cambridge University Press, 1997
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
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