Einar Broch Johnsen – författare
Visar alla böcker från författaren Einar Broch Johnsen.
12 produkter
Fundamental Approaches to Software Engineering
25th 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
Av Einar Broch Johnsen, Manuel Wimmer
Häftad, 2022
599 kr
Lägg i varukorg
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2022
1469 kr
Lägg i varukorg
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
1109 kr
Lägg i varukorg
Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Av Marco Bernardo, Ferruccio Damiani m. fl.
Häftad, 2014
739 kr
Lägg i varukorg
Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Av Marco Bernardo, Einar Broch Johnsen
Häftad, 2015
709 kr
Lägg i varukorg
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Erika Ábrahám, Marcello Bonsangue m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Service-Oriented and Cloud Computing
5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
Av Marco Aiello, Einar Broch Johnsen m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Av Sebastian Gabmeyer, Einar Broch Johnsen
Häftad, 2017
739 kr
Lägg i varukorg
Service-Oriented and Cloud Computing
6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
Av Flavio De Paoli, Stefan Schulte m. fl.
Häftad, 2017
739 kr
Lägg i varukorg
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Av Einar Broch Johnsen, Ina Schaefer
Häftad, 2018
739 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Av Marcello M. Bonsangue, Einar Broch Johnsen
Häftad, 2007
739 kr
Lägg i varukorg
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Av Einar Broch Johnsen, Luigia Petre
Häftad, 2013
739 kr
Lägg i varukorg