Вы здесь
Abrial J. -R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | B#: Toward a Synthesis between Z and B | 2003 | Abrial J. -R. | Lecture Notes in Computer Science | 20.06.2003 | |||
| СТ | On B | 1998 | Abrial J. -R. | Lecture Notes in Computer Science | 17.06.1998 | |||
| СТ | Introducing Dynamic Constraints in B | 1998 | Abrial J. -R., Mussat L. | Lecture Notes in Computer Science | 17.06.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday | 2009 | Lecture Notes in Computer Science |
|
24.03.2010 | |||
| СБ | Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control | 1996 | Lecture Notes in Computer Science |
|
15.12.1996 |