Author facet: McIver, Annabelle / Format: Print - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet McIver, Annabelle Format Print

1 - 2 of 2

Abstraction, refinement and proof for probabilistic systems
by McIver, Annabelle
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: TA340 .M43 2005

Programming methodology
2003
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.6 .P76 2003