Вы здесь
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1996
Ключевые слова:
Стр.:
23 p.
Библиография:
Bibliogr.: p.21-23
Место издания:
Номер:
2808
Карточка:
Б3.54.
Jard C., Jezequel M., Nedelka L..
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols-Le Chesnay., 1996.-23 p.-(Препринт INRIA №2808).
Bibliogr.: p.21-23
Таблица в старой библиотеке:
PREP2 477