Martin Steffen – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

5 produkter

Del 12226
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
Hat die Rede von Gott noch Zukunft?
AvMichael Jochim,Dieter Rehmannm. fl.
Inbunden, Tyska, 2024
359 kr
Skickas inom 3-6 vardagar
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
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
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