Ebooks de Julia Seiter en EPUB

1 Livre(s)
Télécharger le livre : Automatic Methods for the Refinement of System Models
Ajouter à ma liste d'envies
Automatic Methods for the Refinement of System Models
Rolf Drechsler , Julia Seiter , Robert Wille
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement,...

Editeur : Springer
Parution : 2016-07-04
Collection : SpringerBriefs in Electrical and Computer Engineering
ePub

52,74 €