Search

You searched for: Auteur Margaria-Steffen, Tiziana Remove constraint Auteur: Margaria-Steffen, Tiziana
1 - 3 of 3
Number of results to display per page

Search Results

1. Leveraging Applications of Formal Methods
thumbnail
Full text!
Author:
Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
2. SOFSEM 2015: Theory and Practice of Computer Science
thumbnail
Full text!
Author:
Italiano; Margaria-Steffen, Tiziana; Pokorný, Jaroslav; Quisquater, Jean-Jacques; Wattenhofer, Roger
Publisher:
Springer Berlin Heidelberg 2015
Format:
e-book
3. Service-Oriented Computing – ICSOC 2008
thumbnail
Full text!
Author:
Bouguettaya, Athman; Kanade, Takeo; Krueger, Ingolf; Krüger, Ingolf H.; Margaria, Tiziana; Margaria-Steffen, Tiziana; Kittler, Josef; Krüger, Ingolf
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book