Structured Object-Oriented Formal Language and Method: 6th International Worksho
68,30 €
Modeling and Specification. - Orchestration Combinators in Apla+ Language. - Instant-based and State-based Analysis of Infinite Logical Clock. - Animation and Prototyping. - A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.
Jetzt bei Ebay:
