Zoeken

U zocht naar: Auteur Lal, Akash. Filter Auteur: Lal, Akash. weghalen Type e-book Filter Type: e-book weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Enea, Constantin; Lal, Akash
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Auteur:
Enea, Constantin; Lal, Akash
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Auteur:
Enea, Constantin; Lal, Akash
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
4. Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
thumbnail
Full text!
Auteur:
Lal, Akash.; Tonetta, Stefano
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
5. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
D'Souza; D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Uitgever:
Springer Berlin Heidelberg 2015
Type:
e-book