Marijn Heule - Böcker

Visar alla böcker från författaren Marijn Heule.
4 produkter
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15696 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15697 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Arie Gurfinkel, Marijn Heule - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 15698 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Arie Gurfinkel, Marijn Heule

Häftad, Engelska, 2025

699 kr

Skickas inom 7-10 vardagar
Marijn Heule, Sean Weaver - Theory and Applications of Satisfiability Testing -- SAT 2015, Häftad

Theory and Applications of Satisfiability Testing -- SAT 2015

Av Marijn Heule, Sean Weaver

Häftad, Engelska, 2015

939 kr

Skickas inom 7-10 vardagar