Z an introduction to formal methods / Antoni Diller
Tipo de material: TextoDetalles de publicación: New York : John Wiley, 1994Edición: 2nd edDescripción: xix, 374 p. : il. ; 25 cmISBN: 0471939730Tema(s): Z (Lenguaje de programacion para computadoras) | Métodos formales (Computación) | Métodos formales (Computación)Clasificación LoC:QA76.73.Z2 | D55 1994Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Central Ensenada | Acervo General | QA76.73.Z2 D55 1994 (Browse shelf(Abre debajo)) | 1 | Disponible | ENS092581 |
Incluye referencias bibliográficas