1
Publié 2007
Table des matières: ... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... Conditions -- Aspect-Oriented Approach to Operating System Development Empirical Study -- Study and Analysis...
Accéder au texte intégral
Électronique eBook
3
Publié 2013
Table des matières: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
Accéder au texte intégral
Électronique eBook