Montant total (1 article articles) :
Destination de la commande :
specification design embedded systems (130 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (130)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (42)
- Sans impressions à la demande (102)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Embedded Realâ"Time Systems: A Specification and Design Methodology (Wiley Series in Software Engineering Practice)
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,33
Autre deviseEUR 8,43 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres d'occasion à partir de EUR 17,76
Trouvez également Couverture rigide Edition originale
-
EUR 22,13
Autre deviseEUR 2,50 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres d'occasion à partir de EUR 24,63
Trouvez également Couverture rigide Couverture souple
-
UML-B Specification for Proven Embedded Systems Design. The ChDL series.
Edité par Kluwer Academic Publishers.
Langue: anglais
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Membre d'association : GIAQ
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,60
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Wie neu. Auflage: 2004. 309 S., Really new. Shrink wrapped. / Neuwertiger Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 840.
-
Embedded Systems Specification and Design Languages
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 42,87
Autre deviseEUR 7,84 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 288.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 50,71
Offres d'occasion à partir de EUR 86,11
Trouvez également Couverture rigide
-
UML-B Specification for Proven Embedded Systems Design
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 44,23
Autre deviseEUR 7,84 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 316.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 52,07
Offres d'occasion à partir de EUR 53,07
Trouvez également Couverture rigide
-
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering)
Vendeur : The Dawn Treader Book Shop, Ann Arbor, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 31,40
Autre deviseEUR 34,84 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Near Fine. Previous owner's name at head of spine. Otherwise near fine.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 171,49
Offres d'occasion à partir de EUR 66,24
Trouvez également Couverture rigide
-
EUR 55,34
Autre deviseEUR 13,06 expédition depuis Chine vers FranceQuantité disponible : 3 disponible(s)
Ajouter au panierpaperback. Etat : New. Language:Chinese.Paperback. Publisher: China Machine Press. This book introduces the basic concepts of embedded systems and the actual description and design methods. including.
-
EUR 9,90 expédition depuis Allemagne vers France
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 260 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 71,48
Offres d'occasion à partir de EUR 70,92
Trouvez également Couverture rigide
-
Advances in Design and Specification Languages for Embedded Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,93
Autre deviseEUR 7,84 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 372.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 85,77
Offres d'occasion à partir de EUR 112,63
Trouvez également Couverture rigide
-
EUR 92,27
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 101,97
Trouvez également Couverture souple
-
Gratuit expédition depuis Allemagne vers France
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Bücher.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 171,49
Offres d'occasion à partir de EUR 112,63
Trouvez également Couverture rigide
-
Specification and Design Methodology for Real-Time Embedded Systems
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 117,60
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 101,97
Trouvez également Couverture souple
-
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's: Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering, 63)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 167,71
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 172,38
Offres d'occasion à partir de EUR 266,55
Trouvez également Couverture souple
-
Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering, 36)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 167,71
Autre deviseEUR 4,67 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 172,38
Offres d'occasion à partir de EUR 259,32
Trouvez également Couverture souple
-
Advances in Design and Specification Languages for Embedded Systems : Selected Contributions from FDL'06
Edité par Springer Netherlands, Springer Netherlands, 2010
ISBN 10 : 9048175496 ISBN 13 : 9789048175499
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 164,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and Design Languages has been once again the main European event for the embedded systems and chip design community.Advances in Design and Specification Languages for Embedded Systemsis the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. FDL, an ECSI conference, is the premier European forum to present research results, exchange experiences, and learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 145,86
Offres d'occasion à partir de EUR 259,32
Trouvez également Couverture souple
-
UML-B Specification for Proven Embedded Systems Design
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 164,49
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to supportIP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 145,86
Offres d'occasion à partir de EUR 259,32
Trouvez également Couverture souple
-
Specification and Design Methodology for Real-Time Embedded Systems
Edité par Springer, 2001
ISBN 10 : 1588294234 ISBN 13 : 9781588294234
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,50
Autre deviseEUR 91,45 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
