Barbara Jobstmann - Böcker

Visar alla böcker från författaren Barbara Jobstmann.
1 produkt
Barbara Jobstmann, K. Rustan M. Leino - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Barbara Jobstmann, K. Rustan M. Leino

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar