Mining Software Spezifikationen: Methoden und Anwendungen, Hardcover von...
212,10 €
Among their topics are mining finite-state automata with annotations, adaptive grammar inference techniques for mining state machines, static specification mining using automata-based abstractions, automatic inference and the effective application of temporal specifications, path-aware static program analyses for specifications, and the lightweight mining of object usage.
Jetzt bei Ebay:
