Libri di Einar Broch Johnsen - BookPine

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer

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

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 13241)

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and ... Notes in Computer Science Book 13241)

Einar Broch Johnsen

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

Erika Abraham

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems

Marco Bernardo

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)

Marco Bernardo

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

Einar Broch Johnsen