Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

von Julia Seiter Taschenbuch Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-41479-9 ISBN-10: 3-319-41479-8 Springer · 2016