9783319414799 - automatic methods for the refinement of system models: from the specification to the implementation (springerbriefs in electrical and computer engineering) von seiter, julia; wille, robert; drechsler, rolf (4 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2016
Serie: Buch 133 von 209 - SpringerBriefs in Electrical and Computer Engineering
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,47
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer Verlag, 2016
Serie: Buch 133 von 209 - SpringerBriefs in Electrical and Computer Engineering
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 76,17
EUR 23,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 104 pages. 9.00x6.00x0.25 inches. In Stock.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Sprache: Englisch
Verlag: Springer International Publishing, 2016
Serie: Buch 133 von 209 - SpringerBriefs in Electrical and Computer Engineering
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,86 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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: V…ertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.
Automatic Methods for the Refinement of System Models | From the Specification to the Implementation
Sprache: Englisch
Verlag: Springer, 2016
Serie: Buch 133 von 209 - SpringerBriefs in Electrical and Computer Engineering
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automatic Methods for the Refinement of System Models | From the Specification to the Implementation | Julia Seiter (u. a.) | Taschenbuch | SpringerBriefs in Electrical and Computer Engineering | viii | Englisch | 2016 | Springer | EAN 9783319414799 | Verantwortliche Person für die EU: Springer Verlag…GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
