Search

You searched for: Auteur Schneider, Gerardo Remove constraint Auteur: Schneider, Gerardo
1 - 2 of 2
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Barthe, Gilles; Kanade, Takeo; Pardo, Alberto; Schneider, Gerardo
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. Formal Methods for Software Engineering : Languages, Methods, Application Domains
thumbnail
Full text!
Author:
Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book