Automatic Methods for the Refinement of System Models
From the Specification to the Implementation
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.71
€
103.09 лв
This book provides a comprehensive overview of automatic model refinement, which helps readers close...