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

AvRoderick Bloem,Rayna Dimitrova m. fl.

Häftad, Engelska, 2022

789 kr

Skickas inom 10-15 vardagar

Decidability of Parameterized Verification

AvRoderick Bloem,Swen Jacobs m. fl.

Häftad, Engelska, 2015

649 kr

Skickas inom 10-15 vardagar

Trusted Systems

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

AvRoderick Bloem,Peter Lipp

Häftad, Engelska, 2013

719 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

AvArmin Biere,Roderick Bloem

Häftad, Engelska, 2014

1 429 kr

Skickas inom 10-15 vardagar

Handbook of Model Checking

AvEdmund M. Clarke Jr.,Thomas A. Henzinger m. fl.

Inbunden, Engelska, 2018

1 889 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

AvRoderick Bloem,Eli Arbel

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar