A Specifier s Introduction to Formal Methods

Вы здесь

Автор:

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

Вид:

Статья из сборника или журнала

Год:

1990

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

Стр.:

P.8-24.

Реферат:

Формальные методы описания свойств системы.

Источник:

Номер:

Том:

Карточка:

А2.4, Б2.1.

Wing J..

A Specifier s Introduction to Formal Methods// Computer-1990, №9.-Vol. 23.-P.8-24.

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

PAP1 556