Вы здесь
An Object-Based Approach to the B Formal Method
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Стр.:
P.162-181.
Библиография:
Bibliogr.: p.175
Издательство:
Источник:
Том:
1393
Карточка:
Б3.52.
Malioukov A..
An Object-Based Approach to the B Formal Method: Springer// Lecture Notes in Computer Science-1998.-Vol. 1393.-P.162-181.
Bibliogr.: p.175
Таблица в старой библиотеке:
PAP18 72