9783319414799 - automatic methods for the refinement of system models: from the specification to the implementation di seiter, julia; wille, robert; drechsler, rolf (13 risultati)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,55
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 60,91
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,89
EUR 13,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2016-07-11 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,49
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,88
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,46
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer Verlag 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,07
EUR 23,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: 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
Lingua: Inglese
Editore: Springer International Publishing 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,86 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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…: Vertical 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
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,22
EUR 13,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Jul 2016 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, 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. 104 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a comprehensive introduction to automatic model refinementIncludes techniques to verify automatically the refinements conductedExplains key distinctions between horizontal and vertical refinementJulia Seiter… currently wo.
Lingua: Inglese
Editore: Springer, Springer Jul 2016 2016
Serie: SpringerBriefs in Electrical and Computer Engineering, Libro 133 di 209. Libro 133 di 209 - SpringerBriefs in Electrical and Computer Engineering
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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¿ fo…r refinement: Vertical 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 104 pp. Englisch.
