Imagen de Portada

Principles of model checking /

Guardado en:

Autor Principal:	Baier, Christel.
Otros Autores:	Katoen, Joost-Pieter.
Formato:	Libro
Idioma:	English
Publicado:	Cambridge, Mass. : The MIT Press, 2008.
Materias:	Computer systems > Verification. Computer software > Verification.
Acceso en línea:	Table of contents only
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verification of sequential and concurrent programs /
por: Apt, Krzysztof R., 1949-
Publicado: (1997)

Automatic verification of sequential infinite-state processes /
por: Burkart, Olaf.
Publicado: (1997)

The foundations of program verification /
por: Loeckx, Jacques, 1931-
Publicado: (1987)

Temporal verification of reactive systems : safety /
por: Manna, Zohar.
Publicado: (1995)

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

The foundations of program verification /
por: Loeckx, Jacques, 1931-
Publicado: (1987)

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

Verification of object-oriented software : the KeY approach /
Publicado: (2007)

Computer-aided verification of coordinating processes : the automata-theoretic approach /
por: Kurshan, R. P., 1943-
Publicado: (1994)

Abstraction Refinement for Large Scale Model Checking
por: Wang, Chao.
Publicado: (2006)

Software modeling and design : UML, use cases, patterns, and software architectures /
por: Gomaa, Hassan.
Publicado: (2011)

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
por: Valmari, Antti.
Publicado: (2006)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
por: Bonaki, Dragan.
Publicado: (2007)

Object-oriented systems analysis : modeling the world in data /
por: Shlaer, Sally.
Publicado: (1988)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
por: Godefroid, Patrice.
Publicado: (2005)

Principles of transaction processing /
por: Bernstein, Philip A.
Publicado: (1997)

The capability maturity model : guidelines for improving the software process /
Publicado: (1995)

Metrics and models in software quality engineering /
por: Kan, Stephen H.
Publicado: (2003)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
por: Cousot, Radhia.
Publicado: (2005)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
por: Cook, Byron.
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
por: Emerson, E. Allen.
Publicado: (2006)

Usability engineering /
por: Nielsen, Jakob, 1957-
Publicado: (1993)

The usability engineering lifecycle : a practitioner's handbook for user interface design /
por: Mayhew, Deborah J.
Publicado: (1999)

The unified modeling language user guide /
por: Booch, Grady.
Publicado: (1999)

The unified modeling language reference manual /
por: Rumbaugh, James.
Publicado: (1999)

Open modeling with UML /
por: Henderson-Sellers, Brian.
Publicado: (2000)

Operating systems principles /
por: Bic, Lubomir, 1951-
Publicado: (2003)

Models of computation : exploring the power of computing /
por: Savage, John E., 1939-
Publicado: (1998)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
por: Edelkamp, Stefan.
Publicado: (2007)

The art of software modeling /
por: Lieberman, Benjamin A.
Publicado: (2007)

Software agents for future communication systems /
Publicado: (1999)

Software engineering concepts /
por: Fairley, R. E. 1937-
Publicado: (1985)

Black-box testing : techniques for functional testing of software and systems /
por: Beizer, Boris, 1934-
Publicado: (1995)

Guía de recomendaciones para diseño de software centrado en el usuario /
por: Díaz, Javier,
Publicado: (2013)

Empezar a programar usando JAVA /
Publicado: (2013)

Industria del software
Publicado: (2005)

Software requirements & specifications : a lexicon of practice, principles, and prejudices /
por: Jackson, Michael J.
Publicado: (1995)

Data structures, algorithms, and software principles in C /
por: Standish, Thomas A., 1941-
Publicado: (1995)

Testing in Scrum : a guide for software quality assurance in the agile world /
por: Linz, Tilo.
Publicado: (2014)

Managing the testing process : practical tools and techniques for managing hardware and software testing /
por: Black, Rex, 1964-
Publicado: (2002)