Search Results
 
  Search result  Your search for [subject]Computer software -- Verification -- Congresses returned 2 records.  
 
Sort by:  
 
     
  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: 24.43%
 
     
  Book Computer aided verification : 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 _ CAV (Conference) (4th : 1992 : Montreal, Canada).

Berlin: Springer-Verlag, 1993.

Subject: Computer software -- Verification -- Congresses; Electronic digital computers -- Evaluation -- Congresses.

  
     
Relevance: 23.99%
 
     
 
         
         
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