Formal Approaches to Software Testing

Ein Sammelband aus dem fünften FATES‑Workshop in Edinburgh, der neue formale Prüfmethoden vorstellt; er verbindet mathematische Modelle mit prakti ...

Allgemein

Marke
Wolfgang Grieskamp
ISBN
Wolfgang Grieskamp 3540344543
MPN
Wolfgang Grieskamp Illustrations

Eigenschaften

Menü