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...

A modellellenőrzés a szoftverek formális...