K. Rustan M. Leino - Böcker

Visar alla böcker från författaren K. Rustan M. Leino.
5 produkter
K. Rustan M. Leino, Kaleb Leino - Program Proofs, Häftad

Program Proofs

Av K. Rustan M. Leino, Kaleb Leino

Häftad, Engelska, 2023

1 009 kr

Skickas tisdag 11/11
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 10-15 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 10-15 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 10-15 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 10-15 vardagar