Prezentarea autorului Aaron Stump:

Cărțile publicate de Aaron Stump până acum:

Programare funcțională verificată în Agda - Verified Functional Programming in Agda
Agda este un limbaj de programare avansat bazat pe teoria...
Programare funcțională verificată în Agda - Verified Functional Programming in Agda
Programare funcțională verificată în Agda - Verified Functional Programming in Agda
Agda este un limbaj de programare avansat bazat pe teoria...
Programare funcțională verificată în Agda - Verified Functional Programming in Agda
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)