Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 3 of 3
Abstraction, Refinement and Proof for Probabilistic Systems Cover Image E-book E-book

Abstraction, Refinement and Proof for Probabilistic Systems

McIver, Annabelle. (author.). Morgan, Carroll. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780387270067
  • Physical Description: XIX, 383 p. 63 illus. online resource.
  • Publisher: New York, NY : Springer New York, 2005.

Search for related items by subject

Subject: Computer science.
Logic design.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.

Search for related items by series

Electronic resources

Texto completo

Back To Results
Showing Item 3 of 3

Additional Resources