Automatic Methods for the Refinement of System Models: From the Specification to the Implementation SpringerBriefs in Electrical and Computer Engineering Autor Julia Seiter et al. 11 iul 2016 Paperback Preț: 362.88 lei 43-57 zile
