Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 33 of 907
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 33 of 907

Additional Resources