Autore: Georg Struth

This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning …

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2017, held in Lyon, France, in May 2017. The 17 revised ful …

…

…