Вы здесь

Главная

Experiences with a Specification Environment

Автор: 
Loeckx J.
Zeyer J.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Ключевые слова: 
спецификация
верификация
среда
проектирование
Стр.: 
P.255-267
Библиография: 
Bibliogr.: p.266-267
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Том: 
1009
Карточка: 

Б3.5.

Loeckx J., Zeyer J..

Experiences with a Specification Environment-Berlin, Heidelberg.: Springer// KORSO: Methods, Languages, and Tools for the Construction of Correct Software, 1995.-Vol. 1009.-P.255-267-(Lecture Notes in Computer Science).
Bibliogr.: p.266-267

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