Einar Broch Johnsen - Böcker

Visar alla böcker från författaren Einar Broch Johnsen.
12 produkter
Einar Broch Johnsen, Manuel Wimmer - Fundamental Approaches to Software Engineering, Häftad
Del 13241 - Lecture Notes in Computer Science

Fundamental Approaches to Software Engineering

Av Einar Broch Johnsen, Manuel Wimmer

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen - Logic of Software. A Tasting Menu of Formal Methods, Häftad
Del 13360 - Lecture Notes in Computer Science

Logic of Software. A Tasting Menu of Formal Methods

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

Häftad, Engelska, 2022

1 439 kr

Skickas inom 7-10 vardagar
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle - Active Object Languages: Current Research Trends, Häftad
Del 14360 - Lecture Notes in Computer Science

Active Object Languages: Current Research Trends

Av Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle

Häftad, Engelska, 2024

1 049 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer - Formal Methods for Executable Software Models, Häftad

Formal Methods for Executable Software Models

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

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Einar Broch Johnsen - Formal Methods for Multicore Programming, Häftad

Formal Methods for Multicore Programming

Av Marco Bernardo, Einar Broch Johnsen

Häftad, Engelska, 2015

689 kr

Skickas inom 7-10 vardagar
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Erika Abraham - Theory and Practice of Formal Methods, Häftad

Theory and Practice of Formal Methods

Av Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Erika Abraham

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski - Service-Oriented and Cloud Computing, Häftad

Service-Oriented and Cloud Computing

Av Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Sebastian Gabmeyer, Einar Broch Johnsen - Tests and Proofs, Häftad

Tests and Proofs

Av Sebastian Gabmeyer, Einar Broch Johnsen

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen, Flavio de Paoli - Service-Oriented and Cloud Computing, Häftad

Service-Oriented and Cloud Computing

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

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Einar Broch Johnsen, Ina Schaefer - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Einar Broch Johnsen, Ina Schaefer

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Marcello M. Bonsangue, Einar Broch Johnsen - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

Av Marcello M. Bonsangue, Einar Broch Johnsen

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 vardagar
Einar Broch Johnsen, Luigia Petre - Integrated Formal Methods, Häftad

Integrated Formal Methods

Av Einar Broch Johnsen, Luigia Petre

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar