Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
1986
(1)
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1 Results Found Subscribe to search results
0DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Readings in artificial intelligence and software engineering
      1. 
      Readings in artificial intelligence and software engineering
      by 
      Rich, Charles, 1951-
      ScienceDirect http://www.sciencedirect.com/science/book/9780934613125
      Format: 
      Excerpt: 
      : Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary