Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

2002

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

специальный

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

верификация

логическое программирование

Стр.:

P.211-239

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

Bibliogr.: p.233-235

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2407

Карточка:

Б2.23, Б3.5, Б2.1.

Gupta G., Pontelli E..

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach: Springer// Lecture Notes in Computer Science-2002.-Vol. 2407.-P.211-239
Bibliogr.: p.233-235

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

PAP25 347