Suggested Topics within your search.
Showing 1 - 20 results of 25 for search '"Programas-Verificación."', query time: 0.04s Refine Results
  1. 1
    Reasoned programming /

    Reasoned programming / by Broda, Krysia, 1949-

    Published 1994
    Subjects: “…Programas-Verificación.…”
    Book
  2. 2
    The deductive foundations of computer programming /

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Subjects: “…Programas-Verificación.…”
    Book
  3. 3
    Programming in the 1990s : an introduction to the calculation of programs /

    Programming in the 1990s : an introduction to the calculation of programs / by Cohen, Edwards

    Published 1990
    Subjects: “…Programas-Verificación.…”
    Book
  4. 4
    Formal development of programs and proofs /

    Formal development of programs and proofs / by Dijkstra, Edsger Wybe, 1930-2002

    Published 1990
    Subjects: “…Programas-Verificación.…”
    Book
  5. 5
    Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities /

    Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / by Simon, Axel

    Published 2008
    Subjects:
    eBook
  6. 6
    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /

    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / by Godefroid, Patrice

    Published 1996
    Subjects: “…Programas-Verificación.…”
    Book
  7. 7
    Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

    Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 /

    Published 1991
    Subjects: “…Programas-Verificación.…”
    Conference Proceeding Book
  8. 8
    Temporal verification of reactive systems : safety /

    Temporal verification of reactive systems : safety / by Manna, Zohar

    Published 1995
    Subjects:
    Book
  9. 9
    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Published 2007
    Subjects:
    Publisher description
    Conference Proceeding Book
  10. 10
    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    Subjects:
    Conference Proceeding Book
  11. 11
    Analysis and verification of multiple-agent languages /

    Analysis and verification of multiple-agent languages /

    Published 1997
    Subjects:
    Conference Proceeding Book
  12. 12
    Hybrid systems II /

    Hybrid systems II /

    Published 1995
    Subjects:
    Book
  13. 13
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Subjects:
    Conference Proceeding Book
  14. 14
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Subjects:
    Conference Proceeding Book
  15. 15
    Relations and graphs : discrete mathematics for computer scientists /

    Relations and graphs : discrete mathematics for computer scientists / by Schmidt, Günter, 1939-

    Published 1993
    Subjects:
    Book
  16. 16
    Process algebra and probabilistic methods : perfomance modeling and verification /

    Process algebra and probabilistic methods : perfomance modeling and verification /

    Published 2002
    Subjects: “…Programas-Verificación.…”
    Conference Proceeding Book
  17. 17
    Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings /

    Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...

    Published 1997
    Subjects:
    Conference Proceeding Book
  18. 18
    Theorem proving in higher order logics /

    Theorem proving in higher order logics /

    Published 1996
    Subjects:
    Conference Proceeding Book
  19. 19
    Types for proofs and programs /

    Types for proofs and programs /

    Published 1996
    Subjects:
    Conference Proceeding Book
  20. 20
    FME'96 : industrial benefit and advances in formal methods /

    FME'96 : industrial benefit and advances in formal methods /

    Published 1996
    Subjects:
    Conference Proceeding Book

Search Tools: