Termin realizacji zamówienia: ok. 8-10 dni roboczych Dostawa przed świętami
Darmowa dostawa!
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
