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 1994
| Tipo 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 |
Navegando Biblioteca Central Ensenada Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA76.73.P98 V352 2023 Python data science handbook : essential tools for working with data / | QA76.73.S67 P474 2016 Administración básica de bases de datos con Oracle 12c SQL : prácticas y ejercicios / | QA76.73 .T97 L55 2018 Beginning Angular with Typescript (covers Angular 5) / | QA76.73.Z2 D55 1994 Z an introduction to formal methods / | QA76.75 D452 2023 Murach´s ASP.NET core MVC / | QA76.754 C47 2016 Arquitectura de software : conceptos y ciclo de desarrollo / | QA76.754 C47 2016 Arquitectura de software : conceptos y ciclo de desarrollo / |
Incluye referencias bibliográficas
