NASA Formal Methods: Proc./5th International Symposium, NFM 2013, Moffett Field,CA,USA, May 2013 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2013

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

встроенная система

формальный

верификация

генная регуляция

система реального времени

разработка по

Стр.:

486 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

7871

Карточка:

Б3.5, Б2.2, Б3.21.

NASA Formal Methods: Proc./5th International Symposium, NFM 2013, Moffett Field,CA,USA, May 2013Ed. by Brat G., Rungta N., Venet A..-Berlin.: Springer, 2013.-Vol. 7871.-486 p.-(Lecture Notes in Computer Science).

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

MONO9 901