Roderick Bloem – författare

Visar alla böcker från författaren Roderick Bloem.

6 produkter

1. 

   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

   Av Roderick Bloem, Rayna Dimitrova m. fl.

   Häftad, 2022

   809 kr

   Lägg i varukorg

2. 

   Decidability of Parameterized Verification

   Av Roderick Bloem, Swen Jacobs m. fl.

   Häftad, 2015

   669 kr

   Lägg i varukorg

3. 

   Trusted Systems

   5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

   Av Roderick Bloem, Peter Lipp

   Häftad, 2013

   739 kr

   Lägg i varukorg

4. 

   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

   Av Armin Biere, Roderick Bloem

   Häftad, 2014

   1469 kr

   Lägg i varukorg

5. 

   Handbook of Model Checking

   Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.

   Inbunden, 2018

   2059 kr

   Lägg i varukorg

6. 

   Hardware and Software: Verification and Testing

   12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

   Av Roderick Bloem, Eli Arbel

   Häftad, 2016

   739 kr

   Lägg i varukorg