Author: Ravara

Support

1 Ebooks by Ravara

Gay & Ravara: Behavioural Types
Behavioral type systems in programming languages support the specification and verification of programs’ properties beyond the traditional use of type systems to describe data processing. A major exa …
PDF
English
DRM
€121.72