Prezentarea autorului Ranjit Jhala:

Cărțile publicate de Ranjit Jhala până acum:

Tipuri de rafinare: Un tutorial - Refinement Types: A Tutorial
New Publ Inc
Tipurile de rafinare pot fi vectorul care aduce verificarea formală în dezvoltarea de software de masă...
Tipuri de rafinare: Un tutorial - Refinement Types: A Tutorial
<<
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)