Вы здесь
Itai A.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | The Complexity of Type Analysis of Object-Oriented Programs | 1998 | Gil J.(Y. )., Itai A. | Lecture Notes in Computer Science | 04.08.1998 | |||
СТ | Timing Verification by Successive Approximation | 1993 | Alur R., Itai A., Kurshan R., Yannakakis M. | Lecture Notes in Computer Science | 07.05.1993 |