Вы здесь

Joshi R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model-Driven Software Verification 2004 Holzmann G. J., Joshi R. Lecture Notes in Computer Science 29.04.2004
П Denali: A Goal-Directed Superoptimizer 2001 Joshi R., Nelson G., Randall K. Systems Research Center 17.07.2002