It looks like you're offline.
Donate
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?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

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

  • Cover of: Decidability of Parameterized Verification

    First published in 2015 3 editions in 1 language
    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 in 1 language
    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 in 1 language
    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 in 1 language
    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 in 1 language
    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: 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 software, verification, Computer Systems Organization and Communication Networks, Computer input-output equipment, Computer network architectures, Computer networks, security measures, Computer programs, Computer science, Computer security, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Software engineering

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.