Search Results
 
  Search result  Your search for [subject]Computer software -- Verification returned 12 records.  
 
Sort by:  
 
     
  Book Verification of systems and circuits using LOTOS, Petri Nets, and CCS.

by Yoeli, Michael, 1917-; Hoboken, N.J.: Wiley-Interscience, 2008.

Subject: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets.

 
     
Relevance: 24.79%
 
     
  Electronic Resource Verification, validation and testing in software engineering.

Hershey, Penn.: Idea Group Pub., 2007.

Subject: Computer software -- Validation; Computer software -- Verification; Computer software -- Testing; Electronic books.

 
     
Relevance: 23.80%
 
     
  Book Verification and validation of rule-based expert systems.

by Smith, Suzanne, 1953-; Boca Raton, Fla.: CRC Press, 1993.

Subject: Expert systems (Computer science); Computer software -- Verification; Computer software -- Validation.

 
     
Relevance: 22.89%
 
     
  Book Principles of model checking.

by Baier, Christel.; Cambridge, Mass.: MIT Press, 2008.

Subject: Computer systems -- Verification; Computer software -- Verification.

 
     
Relevance: 22.35%
 
     
  Book Toward zero-defect programming _ Zero-defect programming.

by Stavely, Allan M.; Reading, Massachusetts: Addison-Wesley, 1999.

Subject: Computer software -- Quality control; Computer software -- Verification.

 
     
Relevance: 21.62%
 
     
  Book Software inspection : an industry best practice.

by Wheeler, David A.; Los Alamitos, Calif.: IEEE Computer Society Press, 1996.

Subject: Computer software -- Verification; Computer software -- Quality control.

 
     
Relevance: 21.62%
 
     
  Book Software engineering : analysis and verification.

by Lewis, Theodore Gyle; Reston, Va.: Prentice-Hall, 1982.

Subject: Software engineering; Computer software -- Verification.

 
     
Relevance: 21.20%
 
     
  Book Independent verification and validation : a life cycle engineering process for quality software.

by Lewis, Robert O., 1938-; New York: Wiley, 1992.

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

 
     
Relevance: 20.73%
 
     
  Book Computer aided verification : 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 _ CAV (Conference) (5th : 1993 : Elounda, Greece).

Berlin: Springer-Verlag, 1993.

Subject: Computer software -- Verification -- Congresses.

 
     
Relevance: 20.41%
 
     
  Book Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism.

by Rao, Josyula Ramachandra, 1962-; Berlin: Springer, 1995.

Subject: Parallel programming; Computer software -- Verification.

 
     
Relevance: 20.19%
 
     
« Previous  1  2  Next »
         
         
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