> Main> Research> Publications
RUSENG

Publications

Year:  
All :: 1996, ... , 2007, 2009, 2010, ... , 2014
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Карпов, Киптилый, Козлов, Кознов, ... , Кудряшов 
References

Articles:

Карпов, Ю.Г.
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании, №2:45-56
2009
Export as:
BibTeX, XML