Вы здесь

Formal Methods in Programming and Their Applications

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.70-77.
Источник: 
Номер: 
4
Том: 
24
Карточка: 

Б1.3, Б1.2, Б2.

Pottosin I. V..

Formal Methods in Programming and Their Applications// SIGACT News-1993, №4.-Vol. 24.-P.70-77.

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