Showing 1 - 2 results of 2 for search 'Craigen, Dan 1953-', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Industrial applications of formal methods to model, design, and analyze computer systems द्वारा Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

    प्रकाशित 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

    Industrial applications of formal methods to model, design, and analyze computer systems
  2. 2

    Industrial applications of formal methods to model, design and analyze computer systems an international survey द्वारा Craigen, Dan 1953-

    प्रकाशित 1995
    Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access
    पुस्तक

    Industrial applications of formal methods to model, design and analyze computer systems an international survey

खोज साधन: