B 2007: Formal Specification and Development in B: Proc./7th International Conference of B Users. Besancon, France, January 2007 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2007

Ключевые слова:

технология программирования

спецификация

разработка

формальный метод

верификация

прикладная система

Стр.:

293 p.

Редактор:

Kouchnarenko O.

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

4355

Карточка:

Б2.2, Б3.2.

B 2007: Formal Specification and Development in B: Proc./7th International Conference of B Users. Besancon, France, January 2007Ed. by Julliand J., Kouchnarenko O..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4355.-293 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке:

MONO6 421