B. Berard szerző bemutatása:

B. Berard szerző eddig megjelent könyvei:

Rendszerek és szoftverek ellenőrzése: Modellellenőrzési technikák és eszközök - Systems and Software...
Springer Nature
A modellellenőrzés a szoftverek formális...
Rendszerek és szoftverek ellenőrzése: Modellellenőrzési technikák és eszközök - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)