Abstraction, refinement and proof for probabilistic systems /

Abstraction, refinement and proof for probabilistic systems /

05

Bibliographic Details
Main Authors: 427471 Mclver, Annabelle, Morgan, Carroll, 1952-
Format:
Language:eng
Published: New York, NY : Springer, 2005
Subjects:
Engineering mathematics
Probabilities
Systems engineering

Similar Items