Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
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: 
      ; Chapter 6. CASL for CafeOBJ Users; Chapter 7. CafePie: A Visual Programming System for CafeOBJ; Chapter 8
      Cover image for Object-oriented technology and computing systems re-engineering
      2. 
      Object-oriented technology and computing systems re-engineering
      by 
      Zedan, H. S. M.
      ScienceDirect https://www.sciencedirect.com/science/book/9781898563563
      Format: 
      Excerpt: 
      systems re-engineering. Object-oriented programming is here shown to provide support for constructing