Prezentarea autorului B. Berard:

Cărțile publicate de B. Berard până acum:

Verificarea sistemelor și a software-ului: Tehnici și instrumente de verificare a modelelor -...
Springer Nature
Verificarea modelelor este o abordare puternică...
Verificarea sistemelor și a software-ului: Tehnici și instrumente de verificare a modelelor - Systems and Software Verification: Model-Checking Techniques and Tools
<<
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)