Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání '"Temporal Logic"', doba hledání: 0,03 s. Upřesnit hledání
  1. 1
    Specification of software systems
    Autor Alagar, V S
    Vydáno 2011
    Témata: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    Autor Tang, Yong
    Vydáno 2010
    Témata: “...Temporal logic method...”
    Printed Book
Vyhledávací nástroje: RSS — Poslat emailem