खोज परिणाम - Craigen, Dan 1953-

  • प्रदर्शित 1 - 2 परिणाम 2
परिणाम को परिष्कृत करें
  1. 1

    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
    पुस्तक


    कवर छवि
  2. 2

    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


    कवर छवि

खोज साधन: