Вы здесь

An Abstract Analysis of the Probabilistic Termination of Programs

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.111-126
Библиография: 
Bibliogr.: p.126
Издательство: 
Том: 
2126
Карточка: 

Б2.23.

Monniaux D..

An Abstract Analysis of the Probabilistic Termination of Programs: Springer// Lecture Notes in Computer Science-2001.-Vol. 2126.-P.111-126
Bibliogr.: p.126

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