Search Results
 
  Search result  Your search for [subject]Computer programs -- Verification returned 5 records.  
 
Sort by:  
 
     
  Book An introduction to formal program verification.

by Mili, Ali.; New York: Van Nostrand Reinhold, 1985.

Subject: Computer programs -- Verification.

  
     
Relevance: 19.66%
 
     
  Book Software verification and validation : Michael S. Deutsch.

by Deutsch, Michael S.; Englewood Cliffs, N.J.: Prentice-Hall, 1982.

Subject: Computer programs -- Validation; Computer programs -- Verification.

  
     
Relevance: 19.51%
 
     
  Book Formal methods of program verification and specification.

Englewood Cliffs, N.J.: Prentice-Hall, 1982.

Subject: Computer programs -- Specification; Computer programs -- Verification.

  
     
Relevance: 19.51%
 
     
  Book Formal methods of program verification and specification.

Englewood Cliffs, New Jersey: Prentice-Hall, 1982.

Subject: Computer programs -- Specifications; Computer programs -- Verification.

  
     
Relevance: 19.51%
 
     
  Book The calculus of computation : decision procedures with applications to verification.

by Bradley, Aaron R.; Berlin: Springer, 2007.

Subject: Computer logic; Computer programs -- Verification.

  
     
Relevance: 19.16%
 
     
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

Text Size:
S  -  M  -  L
Copyright © 2004-2024. Philippine eLib Project
Host: U.P. Diliman University Library