Zoeken

U zocht naar: Auteur Dams, Dennis Filter Auteur: Dams, Dennis weghalen Taal Engels Filter Taal: Engels weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. FM 2009: Formal Methods
thumbnail
Full text!
Auteur:
Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
2. Concurrency, Compositionality, and Correctness
thumbnail
Full text!
Auteur:
Dams, Dennis; Hannemann, Ulrich; Kanade, Takeo; Steffen, Martin
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book