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 029 kr

Skickas inom 7-10 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

739 kr

Skickas inom 7-10 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

739 kr

Skickas inom 7-10 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

719 kr

Skickas inom 7-10 vardagar