It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by Mek
October 19, 2016 | History
Edit

Roderick Bloem

We need a photo of Roderick Bloem

7 works Add another?

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

  • Cover of: Decidability of Parameterized Verification

    First published in 2015 — 3 editions
    Not in Library

    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: Handbook of Model Checking

    First published in 2017 — 3 editions
    Not in Library

    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: Computer Aided Verification: 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

    First published in 2014 — 2 editions
    Not in Library

    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: Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

    First published in 2013 — 1 edition
    Not in Library

    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: Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ...

    First published in 2016 — 1 edition
    Not in Library

    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: Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers

    First published in 2022 — 1 edition
    Not in Library

    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: Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

    First published in 2013 — 1 edition
    Not in Library

    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 Roderick Bloem

Subjects

Computer science, Computer software, verification, Computer Systems Organization and Communication Networks, Computer input-output equipment, Computer network architectures, Computer networks, security measures, Computer programs, Computer security, Data Encryption, Data encryption (Computer science), Data protection, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Operating Systems, Operating systems (Computers), Software Engineering/Programming and Operating Systems, Software engineering, Systems and Data Security

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7356640A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 19, 2016 Created by Mek Added new book.