Вы здесь
Duran F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| М | All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic | 2007 | Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. | Lecture Notes in Computer Science | 30.10.2007 | |||
| СТ | Maude as a Formal Meta-tool | 1999 | Clavel M., Duran F., Eker S., Meseguer J., Stehr M. -O. | Lecture Notes in Computer Science | 26.10.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Rewriting Logic and Its Aplications: Revised Selected Papers/9th International Workshop, WRLA 2012 Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 2012 | 2012 | Lecture Notes in Computer Science |
|
11.12.2012 |