Cargando…

Principles of model checking /

Detalles Bibliográficos
Autor principal:	Baier, Christel
Otros Autores:	Katoen, Joost-Pieter
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge, Mass. : The MIT Press, [2008?]
Materias:	Programas para computadora > Verificación. Sistemas de información > Verificación.
Acceso en línea:	Tabla de contenido

Ejemplares similares

Software engineering reviews and audits /
por: Summers, Boyd L.
Publicado: (2011)

Verificationism : its history and prospects
por: Misak, Cheryl J.
Publicado: (1995)

Software verification and validation for practitioners and managers
por: Rakitin, Steven R.
Publicado: (2001)

Software verification and validation : an engineering and scientific approach /
por: Fisher, Marcus S.
Publicado: (2007)

The calculus of computation : decision procedures with applications to verification /
por: Bradley, Aaron R.
Publicado: (2007)

Verification, validation and testing in software engineering /
Publicado: (2007)

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
por: Spillner, Andreas
Publicado: (2014)

Principles of compiler design /
por: Aho, Alfred V.
Publicado: (1977)

A user guide to the UNIX system /
por: Thomas, Rebecca
Publicado: (1985)

The art of Unix programming /
por: Raymond, Eric S.
Publicado: (2004)

Linux server : los mejores trucos /
por: Von Hagen, William
Publicado: (2006)

A user guide to the UNIX systems
por: Thomas, Rebecca
Publicado: (1982)

UNIX systems : advanced, administration and management handbook /
por: Hunter, Bruce H.
Publicado: (1991)

Programación avanzada en Windows
por: Richter, Jeffrey
Publicado: (1997)

Operating systems : a moder perspective /
por: Nutt, Gary J.
Publicado: (1997)

UNIX tips y trucos de administración /
por: Waingrow, Kirk
Publicado: (2000)

Aprendiendo UNIX /
por: Gardner, James, 1955-
Publicado: (1995)

Just enough UNIX /
por: Andersen, Paul K.
Publicado: (2003)

El libro oficial de Ubuntu
Publicado: (2009)

El libro oficial de Ubuntu
por: Hill, Benjamin Mako, 1980-
Publicado: (2007)

Sistemas operativos : una visión aplicada /
Publicado: (2001)

El gran libro de Windows 98
por: Vonhoegen, Helmut
Publicado: (1998)

Sistemas operativos
por: Madnick, Stuart E.
Publicado: (1981)

System-level test and validation of hardware/software systems /
Publicado: (2010)

Manage software testing /
por: Farrell-Vinay, Peter
Publicado: (2008)

Mastering Delphi 4 /
por: Cantú, Marco
Publicado: (1998)

Software metrics : a rigorous and practical approach /
por: Fenton, Norman E., 1956-
Publicado: (1997)

Mastering Delphi 6
por: Cantù, Marco
Publicado: (2001)

Sams teach yourself Borland Delphi 4 in 21 days /
por: Reisdorph, Kent
Publicado: (1998)

Aprendiendo Borland Delphi 4 en 21 días /
por: Reisdorph, Kent
Publicado: (1999)

Interfaces de Clipper : con C, assembly y hojas de cálculo
por: Mueller, John
Publicado: (1995)

Manual de referencia rápida del uso del Clipper 5.01
por: Pérez Villaseñor, Enrique
Publicado: (1992)

Hacia visual objects : actas de los encuentros 1994 de usuarios de clipper
Publicado: (1994)

SPICE : the theory and practice of software process Improvement and capability determination
Publicado: (1998)

El libro del CLIPPER Summer' 87
por: Marín Quirós, Francisco
Publicado: (1990)

Introducción a la computación para bachillerato /
por: Norton, Peter, 1943-
Publicado: (2008)

Programación lógica /
por: Bull, Honeywell
Publicado: (1979)

Computación & informática hoy : una mirada a la tecnología del mañana
por: Beekman, George
Publicado: (1995)

Running Unix
por: Woodcock, JoAnne
Publicado: (1990)

Programming sound for DOS and Windows
por: Gurewich, Nathan
Publicado: (1993)

Cannot write session to /tmp/vufind_sessions/sess_b0rhljqqhf6jb3c3m15cchtasc