4 Электронные книги 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
английский
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 prese …
PDF
английский
DRM
€63.06
Martin Steffen & Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems
…
PDF
английский
DRM
€57.65
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 f …
EPUB
английский
DRM
€77.19
