Une proposition de formalisme orienté composant: Application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants | Kaicus Deutschland

Une proposition de formalisme orienté composant: Application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants

78.34 EUR 1% Off 79.00 EUR

Ein praxisnahes Buch, das einen neuen komponentenorientierten Formalismus vorstellt und zeigt, wie symbolische Ausführung die Validierung von Softwaresystemen effizienter macht.

Marke: Céline Bigot
ISBN: 3838180534