
Coordination Models and Languages
584,-

Coordination Models and Languages
584,-

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

Verification, Model Checking, and Abstract Interpretation
584,-

Verification and Evaluation of Computer and Communication Systems
584,-

Formal Aspects of Component Software
584,-

Implementation and Application of Automata
584,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Principles of Verification
737,-

Principles of Verification
854,-

Coordination Models and Languages
584,-

Coordination Models and Languages
584,-

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

Verification, Model Checking, and Abstract Interpretation
584,-

Verification and Evaluation of Computer and Communication Systems
584,-

Formal Aspects of Component Software
584,-

Implementation and Application of Automata
584,-

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
584,-

Principles of Verification
737,-

Principles of Verification
854,-












