Showing 1 - 2 results of 2 for search '"Temporal Logic"', זמן שאילתה: 0.02s Refine Results
  1. 1
    Specification of software systems
    מאת Alagar, V S
    יצא לאור 2011
    נושאים: “...Temporal Logic...”
    Printed Book
  2. 2
    Temporal information processing technology and its applications
    מאת Tang, Yong
    יצא לאור 2010
    נושאים: “...Temporal logic method...”
    Printed Book
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל