Вы здесь
Reconciling Axiomatic and Model-Based Specifications Using the B Method
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.95-106
Библиография:
Bibliogr.: p.106
Издательство:
Источник:
Том:
1878
Карточка:
Б3.5, Б2.24.
Robinson K..
Reconciling Axiomatic and Model-Based Specifications Using the B Method: Springer// Lecture Notes in Computer Science-2000.-Vol. 1878.-P.95-106
Bibliogr.: p.106
Таблица в старой библиотеке:
PAP22 64