Вы здесь

Performulation: A Way to Combine Dynamic Properties and B Refinement

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.2-19
Библиография: 
Bibliogr.: p.19
Том: 
2021
Карточка: 

Б2.23, Б3.3, Б3.5.

Bellegarde F., Darlot C., Julliand J., Kouchnarenko O..

Performulation: A Way to Combine Dynamic Properties and B Refinement// Lecture Notes in Computer Science-2001.-Vol. 2021.-P.2-19
Bibliogr.: p.19

Таблица в старой библиотеке: 
PAP22 806