Cargando…

Model checking /

Annotation.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 (Autor), Grumberg, Orna (Autor), Peled, Doron A., 1962- (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cambridge, Mass. : MIT Press, ©1999.
Temas:	Computer systems > Verification. Logiciels > Vérification. Systèmes informatiques > Vérification. COMPUTERS > Software Development & Engineering > Systems Analysis & Design. Model Checking Datenverarbeitungssystem Computersystemen. Modellen (theorie) Verificatie. Verificação e validação de software. Engenharia de software. Engineering & Applied Sciences. Computer Science.
Acceso en línea:	Texto completo

Ejemplares similares

Mechanizing proof : computing, risk, and trust /
por: MacKenzie, Donald A.
Publicado: (2001)

Engineering Dependable Software Systems.
por: Broy, M.
Publicado: (2013)

Principles of model checking /
por: Baier, Christel
Publicado: (2008)

Engineering dependable software systems /
Publicado: (2013)

Co-verification of hardware and software for ARM SoC design /
por: Andrews, Jason R.
Publicado: (2005)

Dependable software systems engineering /
Publicado: (2015)

Dependable software systems engineering /
Publicado: (2015)

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

The software audit guide /
por: Helgeson, John W., 1945-
Publicado: (2009)

Introducing software verification with Dafny language : proving program correctness /
por: Sitnikovski, Boro
Publicado: (2022)

Strategic negotiation in multiagent environments /
por: Kraus, Sarit
Publicado: (2001)

Open Source Identity Management Patterns and Practices Using OpenAM 10.x /
por: Kenning, Waylon
Publicado: (2013)

The inverse method : parametric verification of real-time embedded systems /
por: André, Etienne
Publicado: (2013)

Explore it! : reduce risk and increase confidence with exploratory testing /
por: Hendrickson, Elisabeth
Publicado: (2014)

Software Safety and Security.
por: Nipkow, T.
Publicado: (2012)

Gradle : Ein kompakter Einstieg in modernes Build-Management /
por: Baumann, Joachim
Publicado: (2013)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
por: Yoeli, Michael, 1917-
Publicado: (2008)

Gradle in action /
por: Muschko, Benjamin
Publicado: (2014)

Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design.
por: Mathaikutty, Deepak A.
Publicado: (2009)

Software safety and security : tools for analysis and verification /
Publicado: (2012)

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten /
Publicado: (2008)

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

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken /
por: Hendrickson, Elisabeth
Publicado: (2014)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, 1917-
Publicado: (2008)

Gradle beyond the basics /
por: Berglund, Tim
Publicado: (2013)

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

Enterprise OSGi in action /
por: Cummins, Holly
Publicado: (2013)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
por: Yoeli, Michael, 1917-
Publicado: (2008)

Verification of infinite-state systems with applications to security /
Publicado: (2006)

New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 /
Publicado: (2011)

New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 /
Publicado: (2011)

Specification by example : how successful teams deliver the right software /
por: Adzic, Gojko
Publicado: (2011)

Software and systems safety : specification and verification /
Publicado: (2011)

Software and systems safety : specification and verification /
Publicado: (2011)

Prezi Hotshot : create amazing Prezi presentations through 10 exciting Prezi projects /
por: Van Groenendaal, Hedwyg
Publicado: (2014)

Prezi Hotshot : create amazing Prezi presentations through 10 exciting Prezi projects /
por: Van Groenendaal, Hedwyg
Publicado: (2014)

Verification Techniques for System-Level Design.
por: Fujita, Masahiro
Publicado: (2007)

Co-verification of hardware and software for ARM SoC design /
por: Andrews, Jason R.
Publicado: (2005)

Cryptography for developers /
por: St. Denis, Tom
Publicado: (2007)

Cryptography for developers /
por: St. Denis, Tom
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_kkd74dmmnhoc42c9shhqfh61se