Verification, model checking, and abstract interpretationE. Allen Emerson10,99 €Skladom 2 ksDo košíka
New trends in parallel & distributed computingFriedhelm Meyer auf der Heide4,79 €Posledný kusDo košíka
Formal methods and stochastic models for performance evaluationAndrás Horváth4,39 €Posledný kusDo košíka
