Вы здесь

Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
С.48-65.
Библиография: 
Библиогр.: c.64-65
Место издания: 
Издательство: 
Карточка: 

В5.31, Б2.42.

Мансуров Н. Н..

Формальные методы для ускоренной разработки телекоммуникационного программного обеспечения-Москва.: Биоинформсервис// Труды Института системного программирования РАН, 1999. Том 1, 2000.-С.48-65.
Библиогр.: c.64-65

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