Automatic methods refinement system par seiter julia (14 résultats)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,22
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,58
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 60,23
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,32
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer 2016-07-11, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 56,91
EUR 18,08 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Paperback. Etat : New.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,31
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 65,73
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Langue : anglais
Edité par Springer Verlag, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 75,98
EUR 23,35 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : 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
Langue : anglais
Edité par Springer International Publishing, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,86 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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: Ver…tical 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
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,40
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : 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 Gm…bH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Langue : anglais
Edité par Springer, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
- impression à la demande
Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 46,22
EUR 13,50 expéditionExpédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : new. Questo è un articolo print on demand.
Langue : anglais
Edité par Springer International Publishing Jul 2016, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : 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.
Langue : anglais
Edité par Springer International Publishing, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,37
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Kartoniert / Broschiert. Etat : 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 re…finementJulia Seiter currently wo.
Langue : anglais
Edité par Springer, Springer Jul 2016, 2016
Série : Livre 133 sur 209 - SpringerBriefs in Electrical and Computer Engineering
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,49
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : 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¿ for ref…inement: 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.
