Вы здесь
ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2002
Ключевые слова:
Стр.:
535 p.
Место издания:
Издательство:
Том:
2272
Карточка:
Б3.5, Б2.2.
ZB 2002 - Formal Specification and Development in Z and B: Proc./2nd Intern. Conf. of B and Z Users, Grenoble, France, January 2002Ed. by Bert D., Bowen J. P., Henson M. C., Robinson K..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2272.-535 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO3 899