Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
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 Cafe : an industrial-strength algebraic formal method
      1. 
      Cafe : an industrial-strength algebraic formal method
      by 
      Futatsugi, Kokichi.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
      Format: 
      Excerpt: 
      ; Contents; Chapter 1. Building Equational Proving Tools by Reflection in Rewriting Logic; Chapter 2. CafeOBJ
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page