Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

Imagen
Descripción
Autoría
Fecha de publicación	septiembre 2012
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Public domain
¿Datos faltantes/errados?	Editar ítem de Wikidata