Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Lecture Notes in Computer Science, Band 10623)

Ein praxisorientiertes Werk aus dem SBMF 2017, das die neuesten Fortschritte in formalen Methoden beleuchtet – von mathematischen Grundlagen über ...

Allgemein

Marke
Simone Cavalheiro
ISBN
Simone Cavalheiro 3319708473

Eigenschaften

Menü