Skip to contents Beckert, Bernhard [Editor]; Marché, Claude [Other] ; FoVeOOS 2010 Paris Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6528 Conradi, Reidar [Editor] Software process improvement : results and experience from the field ; with 56 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 De Troyer, Olga [Other]; De Troyer, Olga [Editor] ; ER 30 2011 Brüssel, FP UML 7 2011 Brüssel Advances in conceptual modeling : recent developments and new directions ; ER 2011 workshops, FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6999 Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Gurov, Dilian [Other] Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7421 Beckert, Bernhard [Author] ; Marche, Claude [Other] Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6528 De Troyer, Olga [Author] ; Bauzer Medeiros, Claudia [Other]; Billen, Roland [Other]; Hallot, Pierre [Other]; Simitsis, Alkis [Other]; Mingroot, Hans [Other] Advances in Conceptual Modeling. Recent Developments and New Directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6999
Beckert, Bernhard [Editor]; Marché, Claude [Other] ; FoVeOOS 2010 Paris Formal verification of object-oriented software : International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6528
Conradi, Reidar [Editor] Software process improvement : results and experience from the field ; with 56 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006
De Troyer, Olga [Other]; De Troyer, Olga [Editor] ; ER 30 2011 Brüssel, FP UML 7 2011 Brüssel Advances in conceptual modeling : recent developments and new directions ; ER 2011 workshops, FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6999
Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Gurov, Dilian [Other] Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7421
Beckert, Bernhard [Author] ; Marche, Claude [Other] Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6528
De Troyer, Olga [Author] ; Bauzer Medeiros, Claudia [Other]; Billen, Roland [Other]; Hallot, Pierre [Other]; Simitsis, Alkis [Other]; Mingroot, Hans [Other] Advances in Conceptual Modeling. Recent Developments and New Directions : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6999
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (3) Wert ausschließen Mathmatics (1) Wert ausschließen Musicology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Beckert, Bernhard (3) Wert ausschließen De Troyer, Olga (2) Wert ausschließen Bauzer Medeiros, Claudia (1) Wert ausschließen Billen, Roland (1) Wert ausschließen Conradi, Reidar (1) Wert ausschließen Damiani, Ferruccio (1) Wert ausschließen ER 30 2011 Brüssel (1) Wert ausschließen FP UML 7 2011 Brüssel (1) Wert ausschließen FoVeOOS 2010 Paris (1) Wert ausschließen Gurov, Dilian (1) Wert ausschließen Hallot, Pierre (1) Wert ausschließen Marche, Claude (1) Wert ausschließen Marché, Claude (1) Wert ausschließen Mingroot, Hans (1) Wert ausschließen Simitsis, Alkis (1) Wert ausschließen Show more show less