Вы здесь

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