Filtres
€
-€
-
Disponible 500+ titres
Verification, model checking, and abstract interpretation
E. Allen Emerson9,49 €
2 exemplaires en stock
Formal methods and stochastic models for performance evaluation
András Horváth3,59 €Dernier exemplaire
Grundlegende Aspekte der Informationsverarbeitung in natürlichen und künstlichen Systemen
Ralf Sommer1,55 €
Dernier exemplaire
Formal methods and stochastic models for performance evaluation
Katinka Wolter6,99 €Dernier exemplaire
