1 Ebooks de 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
Engleză
DRM
€122.00