Search Results - Craigen, Dan 1953-

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Industrial applications of formal methods to model, design and analyze computer systems an international survey by Craigen, Dan 1953-

    Published 1995
    Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access
    Book


    Cover Image
  2. 2

    Industrial applications of formal methods to model, design, and analyze computer systems by Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

    Published 1995
    Available for University of the Philippines System via ScienceDirect. Click here to access
    Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
    Electronic Resource


    Cover Image

Search Tools: