Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... Notes in Computer Science, Band 10629)

Dieser Band fasst die Erkenntnisse der 13. International Haifa Verification Conference zusammen, beleuchtet neue Testmethoden, Verifikationsalgorithme ...

Allgemein

Marke
Ofer Strichman
ISBN
Ofer Strichman 3319703889

Eigenschaften

Menü