Вы здесь

Главная

Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications

Автор: 
Abdalah A. E.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Ключевые слова: 
z
спецификация
уточнение
трансформация
параллелизм
Стр.: 
P.157-167
Библиография: 
Bibliogr.: p.166-167
Место издания: 
Los Alamitos
Washington
Издательство: 
IEEE Computer Society
Источник: 
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000
Карточка: 

Б3.5, Б3.21.

Abdalah A. E..

Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.157-167
Bibliogr.: p.166-167

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