Abstraction, refinement and proof for probabilistic systems

Author(s)

• Mclver, Annabelle
• Morgan, Carroll

Bibliographic Information

Abstraction, refinement and proof for probabilistic systems

Annabelle Mclver, Carroll Morgan

（Monographs in computer science）

Springer, c2005

Note

Includes bibliographical references (p. [345]-355) and indexes

Details

• NCID: BA70523539
• ISBN:
  • 0387401156
• LCCN: 2004057839
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xix, 383 p.
• Size: 24 cm
• Classification:
  • LCC : TA340
  • DC22 : 005.1
• Subject Headings:
  • LCSH : Engineering mathematics
  • LCSH : Probabilities
  • LCSH : Systems engineering
• Parent Bibliography ID:
  • BA25153956