Hoppa till sidans huvudinnehåll

Roderick Bloem - Böcker

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

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, Engelska, 2022

799 kr

Skickas inom 10-15 vardagar

Decidability of Parameterized Verification

Av Roderick Bloem, Swen Jacobs m. fl

Häftad, Engelska, 2015

659 kr

Skickas inom 10-15 vardagar

Trusted Systems

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

Av Roderick Bloem, Peter Lipp

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

1 449 kr

Skickas inom 10-15 vardagar

Handbook of Model Checking

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

Inbunden, Engelska, 2018

1 919 kr

Skickas inom 10-15 vardagar

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, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar