| |
Your search for [subject]Computer software -- Verification returned 12 records. |
|
| |
Sort by:
|
|
| |
|
|
| |
|
 |
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
 |
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Principles of model checking.
by Baier, Christel.; Cambridge, Mass.: MIT Press, 2008.
Subject: Computer systems -- Verification; Computer software -- Verification.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Toward zero-defect programming _ Zero-defect programming.
by Stavely, Allan M.; Reading, Massachusetts: Addison-Wesley, 1999.
Subject: Computer software -- Quality control; Computer software -- Verification.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Software engineering : analysis and verification.
by Lewis, Theodore Gyle; Reston, Va.: Prentice-Hall, 1982.
Subject: Software engineering; Computer software -- Verification.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
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.
|
|
| |
|
|
|
|
| |
|
|
| « Previous 1 2 Next » |
