Navet nicolas (29 risultati)

Broché. Condizione: Très bon. 1 volume broché, 205 pages [6}. Revue d'Histoire des Sciences Humaines RHSH, N°4. Bel exemplaire.

Condizione: Very Good. 1st Edition. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Hardcover. Condizione: New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . …

Condizione: As New. Unread book in perfect condition.

Condizione: New. Brand new! Please provide a physical shipping address.

Condizione: As New. Unread book in perfect condition.

Gebunden. Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin.

Condizione: New. pp. 490 Index.

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New.

HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland. …

Condizione: New. pp. 490.

Condizione: New. In English.

Buch. Condizione: Neu. Neuware - This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.…

Hardcover. Condizione: Brand New. 1st edition. 488 pages. 9.25x6.25x1.00 inches. In Stock.

Buch. Condizione: Neu. Neuware - Highlighting requirements, technologies, and business models, this handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Offering balanced viewpoints from industry and academic experts, car manufacturers, and suppliers, the book outlines the features and functioning schemes of CAN, LIN, FlexRay, and TTCAN protocols. It also addresses the main problems in the design of automotive embedded systems.…

Softcover. Condizione: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. …

Condizione: New. pp. 490 75 equations This item is printed on demand.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Navet, Nicolas Simonot-Lion, FrancoiseA Clear Outline of Current Methods for Designing and Implementing Automotive SystemsHighlighting requirements, technologies, and business models, the Automotive Embedded . …