Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

rss_1.0 Otros recursos con las palabras clave A Hoare Like Logic,J. I. Den Hartog,E. P. De Vink Verifying Probabilistic Programs Using A Hoare Like Logic

Resultados 1 - 1 de 1 de A Hoare Like Logic,J. I. Den Hartog,E. P. De Vink Verifying Probabilistic Programs Using A Hoare Like Logic. (0,19 segundos)

Documentos:
1. (100%) Verifying Probabilistic Programs Using A Hoare Like Logic - A Hoare Like Logic,J. I. Den Hartog,E. P. De Vink
. To specify properties of probabilistic programs, standard first order logic predicates are ... act probabilistically. To describe probabilistic programs, a basic programming language with an
(ps) - 31-mar-2009