Tools and Algorithms for the Construction and Analysis of Systems: Second Intern
67,86 €
Early fault detection tools. - Kleene algebra with tests and commutativity conditions. - Managing proofs. - Relation-algebraic analysis of Petri nets with RELVIEW. - Test generation with inputs, outputs, and quiescence.
Jetzt bei Ebay:
