Yazar
p s thiagarajan
7 cilt bulundu.
Cilt sonuçları
Formal modeling and analysis of timed systems
Jean-Francois Raskin, P. S. Thiagarajan · Springer London, Limited
370 sayfa · 2007
Formal methods (Computer science) / Computer simulation / Congresses / Temporal automata / Automata
National Seminar on Theoretical Computer Science, Madras, India, July 4-6, 1991
P. S. Thiagarajan, Institute of Mathematical Sciences (India), SPIC Foundation. School of Mathematics, India) National Seminar on Theoretical Computer Science (1991 Madras · School of Mathematics, SPIC Science Foundation
195 sayfa · 1991
Machine theory / Congresses / Computer science / Mathematics