ZUM'97 : the Z formal specification notation / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.
Series Lecture notes in computer science ; v. 1212 | LNCS ; v. 1212Detalles de publicación: Berlin : Springer, 1997.Descripción: 433 p. : il. ; 24 cmISBN:- 3540627170
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1212 | Disponible | 14876 |
Total de reservas: 0