Formal Methods for Components and Objects: 5th International Symposium, FMCO 200
69,04 €
Subtitle 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures. - Exhaustive Testing of Exception Handlers with Enforcer. - Model-Based Test Selection for Infinite-State Reactive Systems.
Jetzt bei Ebay:
