Zoeken

U zocht naar: Auteur Rybalchenko, Andrey Filter Auteur: Rybalchenko, Andrey weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Ernie Cohen, Andrey Rybalchenko; Rybalchenko, Andrey
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book
2. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Rybalchenko, Andrey
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
3. Computer Science - Theory and Applications
thumbnail
Full text!
Auteur:
Frid, Anna; Kanade, Takeo; Morozov, Andrey; Rybalchenko, Andrey; Wagner, Klaus W.; Morozov, Andrei S.
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book