Annabelle McIver
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryTS
The Science of Quantitative Information Flow
cover - Image source: Open LibraryFM
Formal Methods – The Next 30 Years
cover - Image source: Open LibraryQE
Quantitative Evaluation of Systems
cover - Image source: Open LibraryLF
Logic for Programming, Artificial Intelligence, and Reasoning
cover - Image source: Open LibraryAR
Abstraction, refinement and proof for probabilistic systems
cover - Image source: Open LibraryLF
Logic for programming, artificial intelligence, and reasoning
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
The Science of Quantitative Information Flow
- Open Work
Formal Methods – The Next 30 Years
- Open Work
Quantitative Evaluation of Systems
- Open Work
Logic for Programming, Artificial Intelligence, and Reasoning
- Open Work
Abstraction, refinement and proof for probabilistic systems
- Open Work
Logic for programming, artificial intelligence, and reasoning