Einar Broch Johnsen

Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proce

Gabmeyer, Sebastian; Johnsen, Einar Broch
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,40 €

Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,40 €

Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France

Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2018
Pehmeäkantinen kirja

51,40 €

Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Co

Johnsen, Einar Broch; Wimmer, Manuel
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja

41,40 €

Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communic

Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Springer International Publishing AG
2014
Pehmeäkantinen kirja

51,40 €

Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication

Bernardo, Marco; Johnsen, Einar Broch
Birkhauser Verlag AG
2015
Pehmeäkantinen kirja

49,40 €

Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Pr

De Paoli, Flavio; Schulte, Stefan; Broch Johnsen, Einar
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,40 €

The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Springer International Publishing AG
2022
Pehmeäkantinen kirja

101,40 €

Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Johnsen, Einar Broch; Petre, Luigia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus

Bonsangue, Marcello M.; Johnsen, Einar Broch
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, P

Aiello, Marco; Johnsen, Einar Broch; Dustdar, Schahram; Georgievski, Ilche
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,40 €

Active Object Languages: Current Research Trends

de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Broch Johnsen, Einar; Kamburjan, Eduard
Springer International Publishing AG
2024
Pehmeäkantinen kirja

76,40 €

Einar Broch Johnsen | Booky.fi