Tous les ebooks de Julia Seiter en EPUB


1  résultat(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,...

Parution : 2016-07-04
Format(s) : ePub
Éditeur : Springer
Collection : SpringerBriefs in Electrical and Computer Engineering
J'achète
52,74 €

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés