bib.howest.be Zoekresultaten

U zocht naar: Auteur Broch Johnsen, Einar Taal Engels

1 - 9 van 9

1. Service-Oriented and Cloud Computing

Auteur:: De Paoli; Broch Johnsen, Einar; Schulte, Stefan
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Formal Methods for Multicore Programming

Auteur:: Bernardo; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2015
Type:: e-book

3. Tests and Proofs

Auteur:: Gabmeyer; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2017
Type:: e-book

4. Fundamental Approaches to Software Engineering

Auteur:: Johnsen, Einar Broch; Wimmer, Manuel
Uitgever:: Springer International Publishing 2022
Type:: e-book

5. Theory and Practice of Formal Methods

Auteur:: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2016
Type:: e-book

6. Logic of Software. a Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Auteur:: Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

7. Service-Oriented and Cloud Computing

Auteur:: Aiello, Marco; Dustdar, Schahram; Georgievski, Ilche; Johnsen, Einar Broch
Uitgever:: Springer International Publishing 2016
Type:: e-book

8. Formal Methods for Executable Software Models

Auteur:: Marco Bernardo, Ferruccio Damiani, Reiner HÃ¤hnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Uitgever:: Springer International Publishing 2014
Type:: e-book

9. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Bonsangue, Marcello M.; IFIP Working Group 6.1.; Hutchison, David; Johnsen, Einar Broch; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book