A Tool to Support Formal Reasoning about Computer Languages

Вы здесь

Автор:

Boulton R. J.

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

Вид:

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

Год:

1997

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

семантика

доказательство

теорема

Стр.:

P.81-95.

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

Bibliogr.: p.94-95

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1217

Карточка:

Б2.1, В2.1, Б2.2.

Boulton R. J..

A Tool to Support Formal Reasoning about Computer Languages: Springer// Lecture Notes in Computer Science-1997.-Vol. 1217.-P.81-95.
Bibliogr.: p.94-95

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

PAP16 314