Woodcock, Jim

Vis mig kun

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems

Woodcock, Jim

436,85 DKK

Theoretical Aspects of Computing

Theoretical Aspects of Computing

Woodcock, Jim

436,85 DKK

Software Engineering for Robotics

Software Engineering for Robotics

Woodcock, Jim

1021,49 DKK

Domain Modeling and the Duration Calculus

Domain Modeling and the Duration Calculus

Woodcock, Jim

436,85 DKK

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Woodcock, Jim

436,85 DKK

Refinement Techniques in Software Engineering

Refinement Techniques in Software Engineering

Woodcock, Jim

436,85 DKK

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Woodcock, Jim

875,33 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Woodcock, Jim

875,33 DKK

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Woodcock, Jim

436,85 DKK