Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages

Вы здесь

Автор:

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

Колл. автор:

Вид:

Монография

Год:

1968

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

Стр.:

193 p.

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

Bibliogr.: p.185-190

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

Карточка:

Б2.23.

Van Hulst M..

Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages-Nijmegen., 1968.-193 p.
Bibliogr.: p.185-190

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

MONO2 460