11 Ebooks par 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
Anglais
€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
Anglais
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
Anglais
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
Anglais
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
Anglais
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
Anglais
DRM
€57.78
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
Anglais
DRM
€57.81
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
Anglais
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
Anglais
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
Anglais
DRM
€76.91
