Вы здесь
Marche C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Multi-prover Verification of C Programs | 2004 | Fillliatre J. -Ch., Marche C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 26.02.2005 | ||
| СТ | Normalized Rewriting - Application to Ground Completion and Standard Bases | 1995 | Marche C. | Lecture Notes in Computer Science | 15.06.1995 | |||
| СТ | Termination and completion modulo associativity, communicativity and identity | 1992 | Jouannaud J. -P., Marche C. | Theoretical Computer Science | 28.10.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010 | 2011 | Lecture Notes in Computer Science |
|
29.03.2011 | |||
| СБ | Constraints in Computation Logics - Theory and Applications: Proc./Intern. Summer School, CCL 99, Gif-sur-Yvette, France, September 1999 | 2001 | Lecture Notes in Computer Science |
|
26.05.2001 |