Mostra 1 - 1 risultati di 1 ricerca 'Fisher, Michael 1962-', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 2011
    Libro

    An introduction to practical formal methods using temporal logic

Strumenti per la ricerca: