Prikaz rezultata 1 – 2 od 2 za pretraživanje '"Temporal Logic"', vrijeme pretraživanja: 0,03s Detaljiziraj rezultate
  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
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom