Showing 1 - 1 results of 1 for search 'Fisher, Michael 1962-', זמן שאילתה: 0.01s Refine Results
  1. 1

    An introduction to practical formal methods using temporal logic מאת Fisher, Michael 1962-

    יצא לאור 2011
    ספר

    An introduction to practical formal methods using temporal logic

כלי חיפוש: