Hoppa till sidans huvudinnehåll

Martin Steffen – författare

Visar alla böcker från författaren Martin Steffen.
5 produkter
Javier Camara, Martin Steffen - Software Engineering and Formal Methods, Häftad
Del 12226 - Lecture Notes in Computer Science

Software Engineering and Formal Methods

SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

AvJavier 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?

AvMichael Jochim,Dieter Rehmannm. fl.

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

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

AvMartin 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

Essays in Honor of Willem-Paul de Roever

AvDennis Dams,Ulrich Hannemannm. fl.

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

18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

AvOlaf Owe,Martin Steffenm. fl.

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar