Martin Steffen - Böcker

Visar alla böcker från författaren Martin Steffen.
5 produkter
Javier Camara, Martin Steffen - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Javier Camara, Martin Steffen

Häftad, Engelska, 2020

1 019 kr

Skickas inom 10-15 vardagar
Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen - Hat die Rede von Gott noch Zukunft?, Inbunden

Hat die Rede von Gott noch Zukunft?

Av Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen

Inbunden, Tyska, 2024

359 kr

Skickas inom 3-6 vardagar
Martin Steffen, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems, Häftad

Formal Methods for Open Object-Based Distributed Systems

Av Martin Steffen, Gianluigi Zavattaro

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar
Dennis Dams, Ulrich Hannemann, Martin Steffen - Concurrency, Compositionality, and Correctness, Häftad

Concurrency, Compositionality, and Correctness

Av Dennis Dams, Ulrich Hannemann, Martin Steffen

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar
Olaf Owe, Martin Steffen, Jan Arne Telle - Fundamentals of Computation Theory, Häftad

Fundamentals of Computation Theory

Av Olaf Owe, Martin Steffen, Jan Arne Telle

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar