
Coordination Models and Languages
584,-

Algorithms and Architectures for Parallel Processing
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Formal Methods for an Informal World
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Social Computing and Social Media. Design, Ethics, User Behavior, and Social Network Analysis
1 052,-

Formal Methods for Dynamical Systems
476,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Coordination Models and Languages
584,-

Algorithms and Architectures for Parallel Processing
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Verification, Model Checking, and Abstract Interpretation
584,-

Formal Methods for an Informal World
584,-

Leveraging Applications of Formal Methods, Verification and Validation
584,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Social Computing and Social Media. Design, Ethics, User Behavior, and Social Network Analysis
1 052,-

Formal Methods for Dynamical Systems
476,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-