Verifying Probabilistic Programs Using a Hoare like Logic

Вы здесь

Автор:

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

Вид:

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

Год:

1999

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

Стр.:

P.113-125.

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

Bibliogr.: p.124-125

Источник:

Том:

1742

Карточка:

Б2.23.

Den Hartog J. I..

Verifying Probabilistic Programs Using a Hoare like Logic// Lecture Notes in Computer Science-1999.-Vol. 1742.-P.113-125.
Bibliogr.: p.124-125

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

PAP20 801