Вы здесь

A Specifier s Introduction to Formal Methods

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1990
Стр.: 
P.8-24.
Реферат: 
Формальные методы описания свойств системы.
Источник: 
Номер: 
9
Том: 
23
Карточка: 

А2.4, Б2.1.

Wing J..

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

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