Zoeken

U zocht naar: Auteur Alpuente, María Filter Auteur: Alpuente, María weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Logic-Based Program Synthesis and Transformation
thumbnail
Full text!
Auteur:
Alpuente, María; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
2. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Auteur:
Alpuente, María; Cook, Byron; Joubert, Christophe; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Static Analysis
thumbnail
Full text!
Auteur:
Alpuente, María; Kanade, Takeo; Vidal, Germán; Vidal-Oriola, Germán
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book