A Survey of Formal Software Development Methods

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1988

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

Стр.:

30 p.

Реферат:

Обзор методов формальной разработки программного обеспечения.

Библиография:

Bibliogr.: p.25-30

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

Номер:

LFCS 88-56

Карточка:

Б2.24, Б3.21.

Sannella D..

A Survey of Formal Software Development Methods-Edinburgh., 1988.-30 p.-(Препринт Univ.Edinburgh №LFCS 88-56).
Bibliogr.: p.25-30

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

PREP1 27