Zoeken

U zocht naar: Auteur S. Akshay Filter Auteur: S. Akshay weghalen Type e-book Filter Type: e-book weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
thumbnail
Full text!
Auteur:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:
Springer Nature 2025
Type:
e-book
2. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
thumbnail
Full text!
Auteur:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Uitgever:
Springer Nature 2025
Type:
e-book