Couverture : Open Library
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
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."
Détails de l'édition
- ISBN-13
- 9780387401157
- ISBN-10
- 0387401156
- EAN
- 9780387401157
- Éditeur
- Springer (New York)
- Date de publication
- 1 janvier 2004
- Langue
- eng
- Pages
- 388
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count Open Library · 2 août 2026
- publication_date Open Library · 2 août 2026
- summary Open Library · 2 août 2026
- title Open Library · 2 août 2026