Вы здесь
Bert D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems | 2002 | Barradas H. R., Bert D. | Lecture Notes in Computer Science | 21.06.2002 | |||
СТ | Abstraction of Conditional Term Rewriting Systems | 1995 | Bert D., Echahed R. | Logic Programming: Proc. of the 1995 Intern. Symp. | 24.04.1996 | |||
СТ | A Modal Inference System for Generic Specification with Application to Code Sharing | 1995 | Bert D., Oriat C. | Lecture Notes in Computer Science | 20.06.1995 | |||
СТ | On the Operational Semantics of the Algebraic and Logic Programming Language LPG | 1995 | Bert D., Echahed R. | Lecture Notes in Computer Science | 24.05.1995 | |||
СТ | Abstract Rewriting | 1993 | Bert D., Echahed R., Ostvold B. M. | Lecture Notes in Computer Science | 11.12.1993 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003 | 2003 | Lecture Notes in Computer Science |
|
20.06.2003 | |||
СБ | ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002 | 2002 | Lecture Notes in Computer Science |
|
02.03.2002 | |||
СБ | Recent Trends in Algebraic Development Techniques: Proc./14th Intern. Workshop, WADT 99. Chateau de Bonas, France, September 1999 | 2000 | Lecture Notes in Computer Science |
|
13.10.2000 | |||
СБ | B 98: Recent Advances in the Development and Use of the B Method: Proc./Second Intern. B Conf. Montpellier, France, April 1998 | 1998 | Lecture Notes in Computer Science |
|
17.06.1998 |