Mining Software Specifications: Methodologies and Applications (Chapman &
90,55 €
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:
