Vista normal Vista MARC

Logics and Meanings of Programs. (Término temático)

Número de registros utilizados en: 901
Forma preferida: Logics and Meanings of Programs.

Machine generated authority record.

Work cat.: (UQROO)44484: McIver, Annabelle. author. 13876, Abstraction, Refinement and Proof for Probabilistic Systems