I/O Automata in Isabelle/HOL | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

ввод-вывод

протокол

распределенная система

верификация

Стр.:

P.101-119

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

Bibliogr.: p.118-119

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Types for Proofs and Programs

Том:

996

Карточка:

Б2.42, В2.11.

Nipkow T., Slind K..

I/O Automata in Isabelle/HOL-Berlin, Heidelberg.: Springer// Types for Proofs and Programs, 1995.-Vol. 996.-P.101-119-(Lecture Notes in Computer Science).
Bibliogr.: p.118-119

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

PAP13 733