Connectez-vous pour ajouter ce livre à votre bibliothèque.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Annabelle McIver, Carroll Morgan
Autre
Première publication : 2004
Résumé
Since the mid-1970's, any serious student of rigorous program development will have encountered "assertions about programs" - they are predicates which, when inserted into program code, are supposed to be "true at that point of the program."
