Search ResultsElectronic Resources
Limit Search Results
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
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.
      by 
      Nijenhuis, Albert.
      Format: 
      Excerpt: 
      Canbinatorial analysis Applications of computer systems Programs
      by 
      Clarke, David (David K.)
      Format: 
      Excerpt: 
      Groundwater -- Computer programs.
      by 
      McReynolds, Tom.
      Format: 
      Excerpt: 
      -photorealistic techniques, and many others. * Code fragments are used in the book, and full blown example programs for
      by 
      Rich, Charles, 1951-
      Format: 
      Excerpt: 
      : Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page