Вы здесь

Обоб енный подход к аксиоматической семантике операторов над последовательными файлами

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1986
Ключевые слова: 
Место издания: 
Карточка: 

Непомнящий В. А., Рякин О. М..

Обоб енный подход к аксиоматической семантике операторов над последовательными файлами-Рига.// Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф., 1986.

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