Yazar: Dennis Dams

Destek

3 Ebooks tarafından Dennis Dams

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
Dennis Dams & Robert Gerth: Theoretical and Practical Aspects of SPIN Model Checking
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many app …
PDF
İngilizce
DRM
€57.61
Ana Cavalcanti & Dennis Dams: FM 2009: Formal Methods
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebra …
PDF
İngilizce
DRM
€115.20