Akash Lal - Böcker

Visar alla böcker från författaren Akash Lal.
5 produkter
Akash Lal, Stefano Tonetta - Verified Software. Theories, Tools and Experiments., Häftad
Del 13800 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments.

Av Akash Lal, Stefano Tonetta

Häftad, Engelska, 2023

739 kr

Skickas inom 10-15 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13965 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 10-15 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13964 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 10-15 vardagar
Constantin Enea, Akash Lal - Computer Aided Verification, Häftad
Del 13966 - Lecture Notes in Computer Science

Computer Aided Verification

Av Constantin Enea, Akash Lal

Häftad, Engelska, 2023

599 kr

Skickas inom 10-15 vardagar
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

Häftad, Engelska, 2015

739 kr

Skickas inom 10-15 vardagar