Вы здесь
Cardell-Oliver R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | XV. HTTDs and HOL | 1995 | Cardell-Oliver R. | Lecture Notes in Computer Science | 25.03.1995 | |||
| СТ | Using Higher Order Logic for Modelling Real-Time Protocols | 1991 | Cardell-Oliver R. | Lecture Notes in Computer Science | 21.05.1991 |