Principles of model checking [Recurso electrónico] / Christel Baier, Joost-Pieter Katoen.
Tipo de material: TextoDetalles de publicación: Cambridge, Mass. : MIT Press, 2008. Descripción: xvii, 975 p. : ill. ; 26 cmTema(s): Computer systems -- Verification | Computer software -- VerificationGénero/Forma: Electronic books.Recursos en línea: Texto completo Forma de acceso: Restringido a usuarios de la UCATipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Fuera de préstamo | 14. INTERNET | Versión electrónica (Navegar estantería(Abre debajo)) | Texto completo | No para préstamo |
Total de reservas: 0
Includes bibliographical references (p. 931-964) and index.
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
No hay comentarios en este titulo.