Einar Broch Johnsen: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (17)
Più popolari
Lista
- Lista
- Tabella

1

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Springer International Publishing

Einar Broch Johnsen, Ina Schaefer

Anno:

2018

Lingua:

english

File:

PDF, 13.03 MB

0 / 0

english, 2018

2

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan

Anno:

2024

Lingua:

english

File:

PDF, 14.13 MB

0 / 5.0

english, 2024

3

The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.)

Anno:

2022

Lingua:

english

File:

PDF, 27.25 MB

0 / 4.0

english, 2022

4

Fundamental Approaches to Software Engineering, 25th International Conference, FASE 2022

Fundamental Approaches to Software Engineering, 25th International Conference, FASE 2022

Einar Broch Johnsen, Manuel Wimmer

Anno:

2022

Lingua:

english

File:

PDF, 12.87 MB

0 / 5.0

english, 2022

5

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Anno:

2022

Lingua:

english

File:

PDF, 25.19 MB

0 / 5.0

english, 2022

6

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

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

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

Anno:

2015

Lingua:

english

File:

PDF, 10.83 MB

0 / 0

english, 2015

7

Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Service-oriented and cloud computing : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings

Broch Johnsen, Einar, De Paoli, Flavio, Schulte, Stefan

Anno:

2017

Lingua:

english

File:

PDF, 22.77 MB

0 / 0

english, 2017

8

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Springer International Publishing

Sebastian Gabmeyer, Einar Broch Johnsen (eds.)

Anno:

2017

Lingua:

english

File:

PDF, 8.10 MB

0 / 0

english, 2017

9

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 3.01 MB

0 / 0

english, 2011

10

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Anno:

2013

Lingua:

english

File:

PDF, 7.94 MB

0 / 0

english, 2013

11

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

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

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 10.79 MB

0 / 0

english, 2014

12

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer International Publishing

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.)

Anno:

2016

Lingua:

english

File:

PDF, 14.27 MB

0 / 0

english, 2016

13

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Springer International Publishing

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds.)

Anno:

2016

Lingua:

english

File:

PDF, 21.46 MB

0 / 0

english, 2016

14

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 3.57 MB

0 / 0

english, 2007

15

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

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

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 8.06 MB

0 / 0

english, 2014

16

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 2.78 MB

0 / 0

english, 2011

17

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Anno:

2014

Lingua:

english

File:

PDF, 3.83 MB

0 / 0

english, 2014