Tools and Algorithms for the Construction and Analysis of Systems: 15th Internat
69,04 €
Model Checking I.- Hierarchical Set Decision Diagrams and Regular Models. - Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. - Verification of Concurrent Programs.
Jetzt bei Ebay:
