It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History
Edit

Annabelle McIver

We need a photo of Annabelle McIver

4 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

    First published in 2004 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Science of Quantitative Information Flow

    First published in 2020 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    First published in 2019 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

    First published in 2018 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Annabelle McIver

Subjects

Computer networks, Computer programming, Computer science, Engineering mathematics, Ingénierie des systèmes, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathématiques de l'ingénieur, Probabilities, Probabilités, Programming Languages, Compilers, Interpreters, Programming Techniques, Reliability (engineering), Systems engineering

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL2680979A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import