Transactions on Modularity and Composition I by Shigeru Chiba (English) Paperbac
97,13 €
By Shigeru Chiba, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens, Mario Südholt. - Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. - Modular Reasoning in the Presence of Event Subtyping.
Jetzt bei Ebay: