K. Rustan M. Leino - Böcker

Visar alla böcker från författaren K. Rustan M. Leino.
4 produkter
Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad

Computer Aided Verification

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad

Computer Aided Verification

Av Alexandra Silva, K. Rustan M. Leino

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
Parosh Aziz Abdulla, K. Rustan M. Leino - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Parosh Aziz Abdulla, K. Rustan M. Leino

Häftad, Engelska, 2011

729 kr

Skickas inom 7-10 vardagar
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

729 kr

Skickas inom 7-10 vardagar