Вы здесь
Type Synthesis in B and the Translation of B to PVS
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.350-369
Библиография:
Bibliogr.: p.368-369
Издательство:
Источник:
Том:
2272
Карточка:
Б2.24.
Bodeveix J. -P., Filali M..
Type Synthesis in B and the Translation of B to PVS: Springer// Lecture Notes in Computer Science-2002.-Vol. 2272.-P.350-369
Bibliogr.: p.368-369
Таблица в старой библиотеке:
PAP24 452