Graph Transformations: Proc./6th International Conference, ICGT 2012, Bremen, Germany, September 2012 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2012

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

аппроксимация

верификация

бисимуляция

параллелизм

теория графов

Стр.:

427 p.

Редактор:

Kreowski H. -J.

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

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

Серия:

Lecture Notes in Computer Science

Том:

7562

Карточка:

Б4.12, Б2.2, Б2.1.

Graph Transformations: Proc./6th International Conference, ICGT 2012, Bremen, Germany, September 2012Ed. by Ehrig H., Engels G., Kreowski H. -J., Rozenberg G..-Berlin.: Springer, 2012.-Vol. 7562.-427 p.-(Lecture Notes in Computer Science).

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

MONO9 608