Automatic Translation of VDM Specifications into Standard ML Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

National Physical Lab.

Вид:

Препринт

Год:

1992

Ключевые слова:

верификация

спецификация

формальный

Стр.:

46 p.

Место издания:

Номер:

Report DITC 196/92

Карточка:

Б2.23, Б2.24.

O Neill G..

Automatic Translation of VDM Specifications into Standard ML Programs-Paris., 1992.-46 p.-(Препринт National Physical Lab. №Report DITC 196/92).

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

PREP1 600