4 E-böcker av Frank de Boer
Nikolaj Bjørner & Frank de Boer: FM 2015: Formal Methods
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were …
PDF
Engelska
€83.29
Frank de Boer & Marcello Bonsangue: It’s All About Coordination
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI …
EPUB
Engelska
DRM
€57.60
Frank de Boer & Antonio Cerone: Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 16 …
EPUB
Engelska
DRM
€63.40
Frank de Boer & Ferruccio Damiani: Active Object Languages: Current Research Trends
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free program …
EPUB
Engelska
DRM
€76.91
