Вы здесь

Главная

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
  1. Bert D.
  2. Bowen J. P.
  3. King S.
  4. Walden M.
 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
  1. Bert D.
  2. Bowen J. P.
  3. Henson M. C.
  4. Robinson K.
 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
  1. Bert D.
  2. Choppy C.
  3. Mosses P.
 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
  1. Bert D.
 17.06.1998