Order Total (1 Item Items):
Shipping Destination:
Nicolas Navet (37 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (37)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (24)
- As New, Fine or Near Fine (8)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (34)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: 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!
-
Condition: Good. A sound copy with only light wear. Overall a solid copy at a great price!
-
Systà mes temps rà el 1: Techniques de description et de và rification (Traità IC2, sà rie Informatique et systà mes d'information)
Language: French
Published by Hermes Science Publications, 2006
ISBN 10: 2746213036 ISBN 13: 9782746213036
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Modeling and Verification of Real-Time Systems
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information)
Language: French
Published by Hermes Science Publications, 2006
ISBN 10: 2746213036 ISBN 13: 9782746213036
Softcover. Condition: 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, Good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Book 1 of 7: Industrial Information TechnologyLanguage: English
Published by CRC Press (edition 1), 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
Hardcover. Condition: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
-
LA SCIENCE JURIDIQUE ENTRE POLIITIQUE ET SCIENCES HUMAINES (XIXe-XXe siècles)
Language: French
Published by Presses Universitaires du Septentrion, 2001
Seller: Librairie Rouchaleou, Saint-André-de-Sangonis, FR, France
Seller rating 5 out of 5 stars
Broché. Condition: Très bon. 1 volume broché, 205 pages [6}. Revue d'Histoire des Sciences Humaines RHSH, N°4. Bel exemplaire.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Book 1 of 7: Industrial Information TechnologyUS$ 124.29
US$ 37.56 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780849380266.
-
Condition: New.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 274.59
US$ 20.22 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-time Systems (Hardcover)
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
First Edition
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Book 1 of 7: Industrial Information TechnologyLanguage: English
Published by CRC Press 2008-12-20, 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
US$ 280.90
US$ 20.88 shipping
Ships from United Kingdom to U.S.A.Quantity: 5 available
Add to basketHardcover. Condition: New.
-
Automotive Embedded Systems Handbook
Book 1 of 7: Industrial Information TechnologySeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 284.34
US$ 20.22 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
-
Condition: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 300.44
US$ 20.22 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Automotive Embedded Systems Handbook
Book 1 of 7: Industrial Information TechnologySeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 311.34
US$ 20.22 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. Brand new! Please provide a physical shipping address.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Book 1 of 7: Industrial Information TechnologySeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 326.21
US$ 16.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
Condition: 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. . . . .
-
-
Automotive Embedded Systems Handbook
Book 1 of 7: Industrial Information TechnologyLanguage: English
Published by Taylor & Francis Group, 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
Condition: New. pp. 490 Index.
-
US$ 317.75
US$ 57.89 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: 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.
-
Automotive Embedded Systems Handbook
Book 1 of 7: Industrial Information TechnologySeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
US$ 369.17
US$ 7.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Automotive Embedded Systems Handbook
Book 1 of 7: Industrial Information TechnologyLanguage: English
Published by Taylor & Francis Group, 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
Condition: New. pp. 490.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Condition: 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.
-
Buch. Condition: Neu. Automotive Embedded Systems Handbook | Nicolas Navet (u. a.) | Buch | Einband - fest (Hardcover) | Englisch | 2008 | CRC Press | EAN 9780849380266 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
