Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science)

In dieser Ausgabe der überarbeiteten Beiträge der 12. FACS-Konferenz werden formale Methoden zur Modellierung, Analyse und Verifikation von Software ...

Allgemein

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

Eigenschaften

Menü