11 Ebooks by Einar Broch Johnsen
Marco Bernardo & Einar Broch Johnsen: Formal Methods for Multicore Programming
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, S …
PDF
English
€51.16
Marco Bernardo & Ferruccio Damiani: Formal Methods for Executable Software Models
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, S …
PDF
English
DRM
€57.99
Marco Aiello & Schahram Dustdar: Service-Oriented and Cloud Computing
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 presen …
PDF
English
DRM
€57.99
Sebastian Gabmeyer & Einar Broch Johnsen: Tests and Proofs
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 …
EPUB
English
DRM
€57.77
Einar Broch Johnsen & Flavio De Paoli: Service-Oriented and Cloud Computing
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 an …
EPUB
English
DRM
€57.88
Einar Broch Johnsen & Ina Schaefer: Software Engineering and Formal Methods
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 …
EPUB
English
DRM
€57.64
Einar Broch Johnsen & Luigia Petre: Integrated Formal Methods
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 …
PDF
English
DRM
€57.76
Wolfgang Ahrendt & Bernhard Beckert: Logic of Software. A Tasting Menu of Formal Methods
This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology an …
EPUB
English
DRM
€114.92
Einar Broch Johnsen & Manuel Wimmer: Fundamental Approaches to Software Engineering
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, …
PDF
English
DRM
€3.81
Frank de Boer & Ferruccio Damiani: Active Object Languages: Current Research Trends
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 program …
EPUB
English
DRM
€77.20
