Zoeken

U zocht naar: Auteur Sharygina, Natasha Filter Auteur: Sharygina, Natasha weghalen Taal Engels Filter Taal: Engels weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Auteur:
Sharygina, Natasha; Veith, Helmut; Veith, Helmut
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
4. Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
thumbnail
Full text!
Auteur:
Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
5. Validation of Evolving Software
thumbnail
Full text!
Auteur:
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Uitgever:
Springer International Publishing 2015
Type:
e-book