Вы здесь

Abrial J. -R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ B#: Toward a Synthesis between Z and B 2003 Abrial J. -R. Lecture Notes in Computer Science 20.06.2003
СТ Introducing Dynamic Constraints in B 1998 Abrial J. -R., Mussat L. Lecture Notes in Computer Science 17.06.1998
СТ On B 1998 Abrial J. -R. Lecture Notes in Computer Science 17.06.1998