Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 26 Para Buscar '', tiempo de consulta: 0.06s Limitar resultados
  1. 1
    Introducing software verification with Dafny language : proving program correctness
    Publicado 2022
    Libro electrónico
  2. 2
    Formal methods in system design
    Publicado 1992
    Revista digital
  3. 3
    Specification by example : how successful teams deliver the right software
    Publicado 2011
    Libro electrónico
  4. 4
    Gradle in action
    Publicado 2014
    Libro electrónico
  5. 5
    Software testing, verification & reliability
    Publicado 1992
    Revista digital
  6. 6
    Guaranteed Verification of Dynamic Systems
    Publicado 2022
    Libro electrónico
  7. 7
    E-Business : State of the Art of ICT Based Challenges and Solutions
    Publicado 2017
    Libro electrónico
  8. 8
    SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA
    Publicado 2017
    Libro electrónico
  9. 9
    PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007
    por Stump, Aaron
    Publicado 2007
    Libro electrónico
  10. 10
    Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4) : Victoria, British Columbia, October 8-10, 1991
    por Howden, William
    Publicado 1991
    Libro electrónico
  11. 11
    Proceedings of Correctness 2017 : first International Workshop on Software Correctness for HPC Applications
    Publicado 2017
    Libro electrónico
  12. 12
    Robot framework test automation
    por Bisht, Sumit
    Publicado 2013
    Libro electrónico
  13. 13
    PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
    por Altenkirch, Thorsten
    Publicado 2009
    Libro electrónico
  14. 14
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
    Publicado 2014
    Libro electrónico
  15. 15
    TMap® next : Ein praktischer leitfaden für ergebnisorientiertes Softwaretesten
    Publicado 2008
    Libro electrónico
  16. 16
    Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant
    Publicado 2014
    Libro electrónico
  17. 17
    Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings
    Publicado 2011
    Libro electrónico
  18. 18
    Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
    Publicado 2005
    Libro electrónico
  19. 19
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
    Publicado 2010
    Libro electrónico
  20. 20
    Hardware design verification : simulation and formal method-based approaches
    por Lam, William K. C., 1962-
    Publicado 2005
    Libro electrónico
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda