The successful application of behavioural types requires an understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs, to design and monitoring methodologies. This book provides the reader with a comprehensive overview of these practical aspects.
Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.
Genom att registrera dig accepterar du vår personuppgiftspolicy.