Roderick Bloem - Böcker

Visar alla böcker från författaren Roderick Bloem.
7 produkter
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke - Handbook of Model Checking, Häftad

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Jr. Clarke, Edmund M., Edmund M. Clarke

Häftad, Engelska, 2020

2 039 kr

Skickas inom 7-10 vardagar
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina - Software Verification, Häftad

Software Verification

Av Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina

Häftad, Engelska, 2022

809 kr

Skickas inom 7-10 vardagar
Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov - Decidability of Parameterized Verification, Häftad

Decidability of Parameterized Verification

Av Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov

Häftad, Engelska, 2015

669 kr

Skickas inom 7-10 vardagar
Roderick Bloem, Peter Lipp - Trusted Systems, Häftad

Trusted Systems

Av Roderick Bloem, Peter Lipp

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar
Armin Biere, Roderick Bloem - Computer Aided Verification, Häftad

Computer Aided Verification

Av Armin Biere, Roderick Bloem

Häftad, Engelska, 2014

1 459 kr

Skickas inom 7-10 vardagar
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke - Handbook of Model Checking, Inbunden

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Edmund M. Clarke

Inbunden, Engelska, 2018

1 979 kr

Skickas inom 7-10 vardagar
Roderick Bloem, Eli Arbel - Hardware and Software: Verification and Testing, Häftad

Hardware and Software: Verification and Testing

Av Roderick Bloem, Eli Arbel

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar