4 Ebooks tarafından Martin Steffen
Dennis Dams & Ulrich Hannemann: Concurrency, Compositionality, and Correctness
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 …
PDF
İngilizce
DRM
€79.72
Olaf Owe & Martin Steffen: Fundamentals of Computation Theory
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 …
PDF
İngilizce
DRM
€63.06
Martin Steffen & Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems
…
PDF
İngilizce
DRM
€56.99
Javier Camara & Martin Steffen: Software Engineering and Formal Methods
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 …
EPUB
İngilizce
DRM
€76.00
