Order Total (1 Item Items):
Shipping Destination:
Navet Nicolas (38 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (38)
- 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 (26)
- As New, Fine or Near Fine (9)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (11)
- Not Print on Demand (33)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Systà mes temps rà el 1: Techniques de description et de và rification (Traità IC2, sà rie Informatique et systà mes d'information)
Published by Hermes Science Publications, 2006
ISBN 10: 2746213036 ISBN 13: 9782746213036
Language: French
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
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Language: English
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.
-
£ 26.88
Convert currency£ 5.20 shipping from France to United KingdomQuantity: 1 available
Add to basketCondition: Bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
-
International Edition£ 40.89
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: Brand New. New.SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information)
Published by Hermes Science Publications, 2006
ISBN 10: 2746213036 ISBN 13: 9782746213036
Language: French
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.
-
Systèmes temps réel 2: Ordonnancement, réseaux et qualité de service (Traité IC2, série Informatique et systèmes d'information)
Published by Hermes Science Publications, 2006
ISBN 10: 2746213044 ISBN 13: 9782746213043
Language: French
Hardcover. Condition: 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.
-
Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information)
Published by Hermes Science Publications, 2006
ISBN 10: 2746213036 ISBN 13: 9782746213036
Language: French
£ 67.06
Convert currency£ 5.21 shipping from France to United KingdomQuantity: 1 available
Add to basketCouverture souple. Condition: Neuf.
-
Condition: 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.
-
£ 47.10
Convert currency£ 85.23 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. 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!
-
£ 145.89
Convert currency£ 22.23 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Published by CRC Press 2009-01-07, 2009
ISBN 10: 084938026X ISBN 13: 9780849380266
Language: English
Hardcover. Condition: New.
-
£ 169.69
Convert currency£ 14.82 shipping from U.S.A. to United KingdomQuantity: 9 available
Add to basketCondition: New.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
£ 198.04
Convert currency£ 14.82 shipping from U.S.A. to United KingdomQuantity: 9 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 211.62
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 3 available
Add to basketCondition: New.
-
£ 171.71
Convert currency£ 44.47 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Modeling and Verification of Real-Time Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
£ 204.47
Convert currency£ 22.22 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 216.83
Convert currency£ 14.82 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketCondition: New.
-
Automotive Embedded Systems Handbook
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Automotive Embedded Systems Handbook
Published by Taylor & Francis Group, 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
Language: English
£ 242.06
Convert currency£ 6.67 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. 490 Index.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Published by ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
£ 247.72
Convert currency£ 2.60 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: 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. . . . .
-
£ 242.75
Convert currency£ 7.41 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Automotive Embedded Systems Handbook (Industrial Information Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 243.88
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 233.43
Convert currency£ 21.69 shipping from Germany to United KingdomQuantity: 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.
-
Hardcover. Condition: Like New. Like New. book.
-
Automotive Embedded Systems Handbook
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
£ 215.81
Convert currency£ 55.58 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Automotive Embedded Systems Handbook
Published by Taylor & Francis Group, 2008
ISBN 10: 084938026X ISBN 13: 9780849380266
Language: English
£ 267.80
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. 490.
-
£ 246.93
Convert currency£ 29.64 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Brand new! Please provide a physical shipping address.
