Вы здесь

A Case Study in Partial Specification: Consistency and Refinement for Object-Z

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Ключевые слова: 
Стр.: 
P.177-185
Библиография: 
Bibliogr.: p.185
Место издания: 
Издательство: 
Карточка: 

Б3.5.

Taylor C., Derrick J., Boiten E..

A Case Study in Partial Specification: Consistency and Refinement for Object-Z-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.177-185
Bibliogr.: p.185

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