Вы здесь
Camilleri J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Operational Semantics for occam | 1989 | Camilleri J. | Intern. J. Parallel Programming | 27.05.1995 | |||
| СТ | Symbolic Animation as a Proof Tool | 1994 | Camilleri J., Zammit V. | Lecture Notes in Computer Science | 24.11.1994 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Higher Order Logic Theorem Proving and Its Applications: Proc./7th Intern. Workshop. Valletta, Malta, September 1994 | 1994 | Lecture Notes in Computer Science |
|
23.11.1994 |