Search Results
 
  Search result  Your search for [ISBN/ISSN]9783540741121 returned 1 record.  
     
  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: 13.84%
 
     
 
         
         
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