Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2013

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

моделирование

верификация программ

символический

Стр.:

413 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

8051

Карточка:

Б2.2, Б3.54.

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th BirthdayEd. by Liu Z., Woodcock J., Zhu H..-Berlin.: Springer, 2013.-Vol. 8051.-413 p.-(Lecture Notes in Computer Science).

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

MONO10 186