Verification, model checking, and abstract interpretationE. Allen Emerson2,49 €Iba 1 €10 za 10 €10 za 10 €Do košíka
New trends in parallel & distributed computingFriedhelm Meyer auf der Heide0,33 €Posledný kus10 za 10 €Do košíka