Вы здесь
Обоб енный подход к аксиоматической семантике операторов над последовательными файлами
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1986
Место издания:
Карточка:
Непомнящий В. А., Рякин О. М..
Обоб енный подход к аксиоматической семантике операторов над последовательными файлами-Рига.// Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф., 1986.
Таблица в старой библиотеке:
ISI1 726