Showing 1 - 1 results of 1 for search 'Fisher, Michael 1962-', čas poizvedbe: 0.01s Refine Results
  1. 1

    An introduction to practical formal methods using temporal logic od Fisher, Michael 1962-

    Izdano 2011
    Knjiga

    An introduction to practical formal methods using temporal logic

Iskalna orodja: