Вы здесь
Srivas M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| М | A Tutorial Introduction to PVS | 1995 | Crow J., Owre S., Rushby J., Shankar N., Srivas M. | Stanford Univ. | 28.06.1997 | |||
| СТ | Using PVS to Prove Some Theorems of David Parnas | 1994 | Rushby J., Srivas M. | Lecture Notes in Computer Science | 18.06.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods in Computer-Aided Design: Proc./First Intern. Conf., FMCAD 96. Palo Alto, CA, USA, November 1996 | 1996 | Lecture Notes in Computer Science |
|
26.11.1996 |