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ț: 377.18 lei 6-8 săpt.