Serdar Tasiran - Böcker

Visar alla böcker från författaren Serdar Tasiran.
9 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
Andrew Reynolds, Serdar Tasiran - Verified Software. Theories, Tools and Experiments, Häftad
Del 14095 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments

Av Andrew Reynolds, Serdar Tasiran

Häftad, Engelska, 2024

739 kr

Skickas inom 10-15 vardagar
Oleg Sokolsky, Serdar Tasiran - Runtime Verification, Häftad

Runtime Verification

Av Oleg Sokolsky, Serdar Tasiran

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar
Shaz Qadeer, Serdar Tasiran - Runtime Verification, Häftad

Runtime Verification

Av Shaz Qadeer, Serdar Tasiran

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar