Showing 1 - 2 results of 2 for search '"Temporal Logic"', čas poizvedbe: 0.02s Refine Results
  1. 1
    Specification of software systems
    od Alagar, V S
    Izdano 2011
    Teme: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    od Tang, Yong
    Izdano 2010
    Teme: “...Temporal logic method...”
    Printed Book
Iskalna orodja: RSS — Pošljite iskanje po emailu