Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.
Series Lecture notes in computer science ; LNCS ; v. 1165Detalles de publicación: Berlin : Springer, 1996.Descripción: vii, 509 p. : il. ; 24 cm. + 1 CD-ROMISBN:- 3540619291
- Programming techniques
- Programación-Técnicas
- Sistemas distribuidos
- Distributed systems
- Ingeniería de software
- Software engineering
- Lenguajes de programación-Definiciones formales y teoría
- Programming languages-Formal definitions and theory
- Programas-Especificación
- Programs-Specification
- Programas-Verificación
- Programs-Verification
- Administración de sistemas de computación y de información
- Management of computing and information systems
Tipo de ítem | Biblioteca actual | Signatura | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1165 | Disponible | 14962 | |||
CD/DVD de datos | FaMAF Sección Lecture Notes | C LNCS v. 1165 | Disponible | Solicitar el CD-ROM en SECCION PRESTAMO. | 14962CD |
Total de reservas: 0