Вы здесь

Using the Modula-2 Standard to verify Modula-2 Programs

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Стр.: 
83 p.
Реферат: 
Использование стандартов Модулы-2 для верификации Модула-2 программ.
Место издания: 
Номер: 
183/91
Карточка: 

Б2.23, Б3.54, Б3.13.

Lai M..

Using the Modula-2 Standard to verify Modula-2 Programs-Teddington., 1991.-83 p.-(Препринт National Physical Lab. №183/91).

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