Verification, model checking, and abstract interpretationE. Allen Emerson49 KčPouze 25 Kč10 za 250 Kč10 za 250 KčDo košíku
Database and expert systems applicationsRoland Wagner49 KčPouze 25 Kč10 za 250 Kč10 za 250 KčDo košíku
