Einar Broch Johnsen

Identifiers

Open LibraryOL7563187A

Top Subjects

System design (1)
Software engineering (1)
Programming languages (electronic computers) (1)
Computer software, development (1)
Computer science (1)

Books by Einar Broch Johnsen

Total count: 11

Formal Methods for Open Object-Based Distributed Systems9th IFIP WG 6. 1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Springer London, Limited2007-01-01
Integrated Formal Methods10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Springer Berlin / Heidelberg2013-01-01
Formal Methods for Executable Software Models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer London, Limited2014-01-01
Formal Methods for Multicore Programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer London, Limited2015-01-01
Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer London, Limited2016-01-01
Service-Oriented and Cloud Computing5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Springer2016-08-25
Tests and Proofs11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Springer2017-06-18
Service-Oriented and Cloud Computing6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

Springer2017-09-01
Software Engineering and Formal Methods16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ...

Springer2018-05-30
Fundamental Approaches to Software Engineering25th International Conference, FASE 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Springer International Publishing AG2022-01-01
Logic of Software. a Tasting Menu of Formal MethodsEssays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Springer International Publishing AG2022-01-01