Вы здесь

Главная

Algebraic System Specification and Development

Автор: 
Bidoit M.
Kreowski H. -J.
Lescanne P.
Orejas F.
Sannella D.
Количество экземпляров: 
1
Вид: 
Монография
Год: 
1991
Ключевые слова: 
спецификация
модель
логика
разработка
Стр.: 
98 p.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
A Syrvey and Annotated Bibliography
Том: 
501
Карточка: 

Б2.24, Б1.5.

Bidoit M., Kreowski H. -J., Lescanne P., Orejas F., Sannella D..

Algebraic System Specification and Development-Berlin.: Springer, 1991.-Vol. 501.-98 p.-(Lecture Notes in Computer Science).

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