Software Engineering and Formal Methods

Ein kompaktes Werk aus der 14. SEFM-Konferenz in Wien, das neueste Erkenntnisse zu formalen Methoden und Softwaretechnik zusammenfasst; bietet praxisn ...

Allgemein

Marke
Rocco De Nicola
ISBN
Rocco De Nicola 9783319415901

Eigenschaften

Menü