Formal Specification is an Experimental Science | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

Techn.Univ.Denmark

Вид:

Препринт

Год:

1991

Ключевые слова:

формальный

спецификация

семантика

распределенный

объектно-ориентированный

Стр.:

36 p.

Библиография:

Bibliogr.: p.27-36.

Место издания:

Номер:

86

Карточка:

Б2.24, Б3.44.

Bjorner D..

Formal Specification is an Experimental Science-Lyngby., 1991.-36 p.-(Препринт Techn.Univ.Denmark №86).
Bibliogr.: p.27-36.

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

PREP1 165