Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... Notes in Computer Science, Band 11232)

Dieses Buch fasst die Ergebnisse der 20. International Conference on Formal Engineering Methods zusammen, beleuchtet aktuelle Forschung und zeigt prax ...

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3030024490
MPN
Springer-Verlag GmbH 34262791

Eigenschaften

Menü