UNSTPB - Biblioteca Centrului Universitar Pitești

Algoritmi pentru evaluare

Subiect Tematic: Algoritmi pentru evaluare
Lucrări: 5 lucrari in 5 publicatii in 2 limbi
Principles of Model Checking de: Baier, Christel; Katoen, Joost-Pieter (Text tipărit)
Model Checking de: Clarke, Edmund M., Jr.; Grumberg, Orna; Peled, Doron A. (Text tipărit)
Practical model-based testing : A tools approach de: Utting, Mark; Legeard, Bruno (Text tipărit)
Vă rugăm să schimbaţi parola