Isil Dillig - Böcker

Visar alla böcker från författaren Isil Dillig.
7 produkter
Serdar Tasiran, Isil Dillig - Computer Aided Verification, Häftad

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Häftad, Engelska, 2020

1 039 kr

Skickas inom 5-8 vardagar
Serdar Tasiran, Isil Dillig - Computer Aided Verification, Inbunden

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar
Serdar Tasiran, Isil Dillig - Computer Aided Verification, Häftad

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Häftad, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar
Serdar Tasiran, Isil Dillig - Computer Aided Verification, Inbunden

Computer Aided Verification

Av Serdar Tasiran, Isil Dillig

Inbunden, Engelska, 2020

1 179 kr

Skickas inom 5-8 vardagar
Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad

Computer Aided Verification

Av Isil Dillig, Serdar Tasiran

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Isil Dillig, Serdar Tasiran - Computer Aided Verification, Häftad

Computer Aided Verification

Av Isil Dillig, Serdar Tasiran

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Isil Dillig, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Isil Dillig, Jens Palsberg

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar