Search alternatives:
"Computer program verification." » "Computer program purification." (Expand Search)
Showing 1 - 20 results of 61 for search '"Computer program verification."', query time: 0.30s Refine Results
  1. 1
    An introduction to formal program verification /
    by Mili, Ali
    Published 1985
    Subjects: “...Computer programs Verification....”
    Book
  2. 2
    The foundations of program verification /
    by Loeckx, Jacques, 1931-
    Published 1984
    Subjects: “...Computer programs Verification....”
    Book
  3. 3
    The foundations of program verification /
    by Loeckx, Jacques, 1931-
    Published 1987
    Subjects: “...Computer programs Verification....”
    Book
  4. 4
    Verifiable programming /
    by Dahl, Ole-Johan, 1931-
    Published 1992
    Subjects: “...Computer programs Verification....”
    Book
  5. 5
    Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
    Published 2003
    Subjects: “...Computer programs Verification Congresses....”
    Conference Proceeding Book
  6. 6
    Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
    Published 2004
    Subjects: “...Computer programs Verification Congresses....”
    Get full text
    Conference Proceeding eBook
  7. 7
    Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
    Published 2005
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
    Published 2007
    Subjects: “...Computer programs Verification Congresses....”
    Conference Proceeding Book
  9. 9
    Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
    Published 2007
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  10. 10
    Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
    Published 2009
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
    Published 2008
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Publisher description
    Conference Proceeding eBook
  12. 12
    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /
    Published 2008
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  13. 13
    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
    Published 2010
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  14. 14
    Guidance and control software /
    Published 1980
    Subjects: “...Computer programs Verification....”
    Book
  15. 15
    Software engineering : analysis and verification /
    Subjects: “...Computer programs Verification....”
    Book
  16. 16
    Formal methods of program verification and specification /
    Published 1982
    Subjects: “...Computer programs Verification....”
    Book
  17. 17
    Software verification and validation : realistic project approaches /
    by Deutsch, Michael S.
    Published 1982
    Subjects: “...Computer programs Verification....”
    Book
  18. 18
    Proving operating systems correct /
    by Karp, Richard Alan
    Published 1983
    Subjects: “...Computer programs Verification....”
    Book
  19. 19
    Software configuration management : an investment in product integrity /
    by Bersoff, Edward H.
    Published 1980
    Subjects: “...Computer programs Verification....”
    Book
  20. 20
    Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
    Published 2002
    Subjects: “...Computer programs Verification Congresses....”
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search