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

    An introduction to practical formal methods using temporal logic द्वारा Fisher, Michael 1962-

    प्रकाशित 2011
    पुस्तक

    An introduction to practical formal methods using temporal logic

खोज साधन: