bib.howest.be Search Results

You searched for: Auteur Broch Johnsen, Einar

1 - 9 of 9

1. Service-Oriented and Cloud Computing

Author:: De Paoli; Broch Johnsen, Einar; Schulte, Stefan
Publisher:: Springer International Publishing 2017
Format:: e-book

2. Formal Methods for Multicore Programming

Author:: Bernardo; Johnsen, Einar Broch
Publisher:: Springer International Publishing 2015
Format:: e-book

3. Tests and Proofs

Author:: Gabmeyer; Johnsen, Einar Broch
Publisher:: Springer International Publishing 2017
Format:: e-book

4. Fundamental Approaches to Software Engineering

Author:: Johnsen, Einar Broch; Wimmer, Manuel
Publisher:: Springer International Publishing 2022
Format:: e-book

5. Theory and Practice of Formal Methods

Author:: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Publisher:: Springer International Publishing 2016
Format:: 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

Author:: Ahrendt, Wolfgang.; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

7. Service-Oriented and Cloud Computing

Author:: Aiello, Marco; Dustdar, Schahram; Georgievski, Ilche; Johnsen, Einar Broch
Publisher:: Springer International Publishing 2016
Format:: e-book

8. Formal Methods for Executable Software Models

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

9. Formal Methods for Open Object-Based Distributed Systems

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