Formal Aspects of Component Software | Kaicus Deutschland

Formal Aspects of Component Software

53.49 EUR

Diese Sammlung überarbeiteter Beiträge der 12. FACS-Konferenz beleuchtet formale Ansätze zur Modellierung, Analyse und Verifikation von Softwarekomponenten, ergänzt durch praxisnahe Fallstudien aus Niterói und globalen Projekten.

Marke: Christiano Braga
MPN: 118 black & white illustrations, biograp
ISBN: 3319289330