最 低 价：￥549.20
| Bibliography of Hartmut Ehrig G raph Transformation On the Concurrent Semantics Algebraic Graph Grammars From Graph Transformation to Software Engineering and Back Flexible Interconnection of Graph Transformation Modules A Systematic Approach Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation Graph Processes with Fusions:Concurrency by Colimits, Again GraDh Transformatinn with Variables Graph Transformation in Molecular Biology Changing Labels in the Double-Pushout Approach Can Be Treated Categorically Algebraic Specification and Logic Modules, Brains and Schemas From Conditional Specifications to Interaction Charts - A Journey from Formal to Visual Means to Model Behaviour Algebraic Properties of Interfaces ET-Integration of Logics Functorial Semantics of Rewrite Theories Expander2 - Towards a Workbench for Interactive Formal Reasonin Relationships Between Equational and Inductive Data Types Cofree Coalgebras for Signature Morphisms Formal and Visual Modeling Nested Constraints and Nested Constraints and Application Conditions for High-Level Structures Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements Main Concepts of Networks of Transformation Units with Interlinking Semantics Embeddings and Contexts for Link Graphs Towards Architectural Connectors for UML Loose Semantics of Petri Nets A Formal Framework for the Development of Concurrent Object-Based Systems A Formal Description of the Basic Concepts of System Theory for Transportation Author Index |
内容加载中，请稍后...
商品评论（0条）