Einar Broch Johnsen – författare

Visar alla böcker från författaren Einar Broch Johnsen. Handla med fri frakt och snabb leverans.

23 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
455 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. …
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
1126 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Richard Bubel m. fl.
E-bok, 2022
1455 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
Active Object Languages: Current Research Trends
Av Eduard Kamburjan, Einar Broch Johnsen m. fl.
E-bok, 2024
1091 kr
Lägg i varukorg
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as …
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
566 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models …
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 Ina Schaefer, Einar Broch Johnsen m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models …
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
544 kr
Lägg i varukorg
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and …
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 Einar Broch Johnsen, Marco Bernardo
E-bok, 2015
652 kr
Lägg i varukorg
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and …
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
566 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Marcello Bonsangue m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016.The 16 full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in topical …
Service-Oriented and Cloud Computing
5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
Av Ilche Georgievski, Schahram Dustdar m. fl.
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in topical …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. …
Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Av Einar Broch Johnsen, Sebastian Gabmeyer
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short and 10 full papers presented in this volume were carefully reviewed and selected from 37 submissions. …
Service-Oriented and Cloud Computing
6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
Av Einar Broch Johnsen, Stefan Schulte m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6 th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short and 10 full papers presented in this volume were carefully reviewed and selected from 37 submissions. …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. …
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Av Ina Schaefer, Einar Broch Johnsen
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking …
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 Einar Broch Johnsen, Marcello M. Bonsangue
E-bok, 2007
755 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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. …
Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Av Luigia Petre, Einar Broch Johnsen
E-bok, 2013
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. …