Mining-Software-Spezifikationen: Methoden und Anwendungen (Chapman &
84,04 €
In the first set of chapters, the book introduces a number of studies on mining finite state machines that employ techniques, such as grammar inference, partial order mining, source code model checking, abstract interpretation, and more.
Jetzt bei Ebay:
