Prezentarea autorului Talia Ringer:

Cărțile publicate de Talia Ringer până acum:

Qed at Large: Un studiu de inginerie a software-ului verificat formal - Qed at Large: A Survey of...
New Publ Inc
Dezvoltarea de dovezi formale ale corectitudinii...
Qed at Large: Un studiu de inginerie a software-ului verificat formal - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
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)