Вы здесь

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 2002/Ed. 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