Книги автора Didier Bert

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes in Computer Science, 1393)

Автор: Didier Bert
Год: [не указано]
Издание: [не указанo]

Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272)

Автор: France) International Conference of B and Z Users 2002 Grenoble, J.P.Bowen, M.C.Henson, K.Robinson, D.Bert, Didier Bert
Год: [не указано]
Издание: [не указанo]
Похожие авторы, соавторы: