Penulis: Ravara

Dukung

1 Ebooks oleh 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
Inggris
DRM
€122.00