Abstraction, Refinement and Proof for Probabilistic Systems
By: McIver, Annabelle.
Contributor(s): Morgan, Carroll.
Material type:
BookSeries: Monographs in computer science.Publisher: New York: Springer-Verlag, 2004Description: xix, 383 p.; ill.: 24 cm.ISBN: 9780387401157 .Subject(s): Engineering mathematics | Model checking | Data refinement | systems engineering | program semantics | sequential programming | ProbabilitiesDDC classification: 005.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1 MCL (Browse shelf) | Available | 013464 |
There are no comments for this item.