Deductive Approach to Verification of Telecommunication Systems Written in C | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

2012

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

верификация

телекоммуникационный

дедуктивный метод

Стр.:

P.8-15

Библиография:

Bibliogr.: p.15

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

Nizhni Novgorod

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

Publ.House of the Nizhni Novgorod State University

Источник:

Conference proceedings

Карточка:

Б2.2, Б3.1.

Anureev I..

Deductive Approach to Verification of Telecommunication Systems Written in C-Nizhni Novgorod.: Publ.House of the Nizhni Novgorod State University// Conference proceedings, 2012.-P.8-15
Bibliogr.: p.15

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

ISI3 228