Search

You searched for: Auteur Alpuente, María Remove constraint Auteur: Alpuente, María
1 - 3 of 3
Number of results to display per page

Search Results

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