Search

You searched for: Auteur Bravetti, Mario Remove constraint Auteur: Bravetti, Mario
1 - 5 of 5
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Hierons, Robert; Merayo, Mercedes G.; Bravetti, Mario; Bravetti, Mario; Merayo, Mercedes G.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. CONCUR 2009 - Concurrency Theory
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Zavattaro, Gianluigi; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
3. Formal Techniques for Computer Systems and Business Processes
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
4. Web Services and Formal Methods
thumbnail
Full text!
Author:
Bravetti, Mario; Bultan, Tevfik; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
5. Web Services and Formal Methods
thumbnail
Full text!
Author:
Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book