Martin Steffen – författare
Visar alla böcker från författaren Martin Steffen. Handla med fri frakt och snabb leverans.
8 produkter
Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Av Javier Camara, Martin Steffen
Häftad, 2020
792 kr
Lägg i varukorg
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and …
Hat die Rede von Gott noch Zukunft?
Av Michael Jochim, Dieter Rehmann m. fl.
Inbunden, 2024
284 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Av Martin Steffen, Gianluigi Zavattaro
Häftad, 2005
568 kr
Lägg i varukorg
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- …
Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Av Gianluigi Zavattaro, Martin Steffen
E-bok, 2005
732 kr
Lägg i varukorg
Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Av Dennis Dams, Ulrich Hannemann m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor …
Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Av Martin Steffen, Ulrich Hannemann m. fl.
E-bok, 2010
739 kr
Lägg i varukorg
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor …
Fundamentals of Computation Theory
18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Av Olaf Owe, Martin Steffen m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal …
Fundamentals of Computation Theory
18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
Av Jan Arne Telle, Martin Steffen m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011.The 28 revised full papers presented were carefully reviewed and selected from 78 submissions. FCT 2011 focused on algorithms, formal …
