Einar Broch Johnsen | Akateeminen Kirjakauppa

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,10 €

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

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

51,10 €

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,10 €

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

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

41,20 €

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

Bonsangue, Marcello M.; Johnsen, Einar Broch
Springer
2007
Pehmeäkantinen kirja

51,10 €

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

Bernardo, Marco; Johnsen, Einar Broch
Springer
2015
Pehmeäkantinen kirja

49,20 €

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,10 €

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,10 €

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,10 €

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,10 €

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

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

100,90 €

Active Object Languages: Current Research Trends

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

76,00 €