Zoeken

U zocht naar: Auteur Leavens Filter Auteur: Leavens weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Transactions on Aspect-Oriented Software Development IX
thumbnail
Full text!
Auteur:
Leavens; Chiba, Shigeru; Haupt, Michael; Ostermann, Klaus; Wohlstadter, Eric
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
2. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
3. Transactions on Modularity and Composition I
thumbnail
Full text!
Auteur:
Chiba, Shigeru.; Eugster, Patrick; Leavens, Gary T.; Südholt, Mario; Ziarek, Lukasz
Uitgever:
Cham Springer International Publishing 2016
Type:
e-book