Вы здесь
CLPS-B - A Constraint Solver for B
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.188-204
Библиография:
Bibliogr.: p.203-204
Издательство:
Источник:
Том:
2280
Карточка:
Б3.5, Б2.2.
Bouquet F., Legeard B., Peureux F..
CLPS-B - A Constraint Solver for B: Springer// Lecture Notes in Computer Science-2002.-Vol. 2280.-P.188-204
Bibliogr.: p.203-204
Таблица в старой библиотеке:
PAP24 914