Design Methods for Reactive Systems المزيد من الكتب المشابهة

Dynamic Modelling of Information Systems

٢٠١٤

Behavior Modeling -- Foundations and Applications

٢٠١٥

Engineering Trustworthy Software Systems

٢٠١٦

Web Services and Formal Methods

٢٠١٤

Software Engineering and Formal Methods

٢٠١٤

Interactive Modeling and Simulation in Business System Design

٢٠١٦

Methods, Models and Tools for Fault Tolerance

٢٠٠٩

Formal Aspects of Component Software

٢٠١٤

Web Services, Formal Methods, and Behavioral Types

٢٠١٦

Interactive Computation

٢٠٠٦

Formal Methods for Web Services

٢٠٠٩

Transactions on Petri Nets and Other Models of Concurrency II

٢٠٠٩

Coordination Models and Languages

٢٠١٧

Coordination Models and Languages

٢٠١٩

Object-Oriented Technology and Computing Systems Re-Engineering

١٩٩٩