Navet Nicolas (31 results)
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 2.10
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
Language: English
Published by CRC Press LLC, 2008
- Hardcover
- First Edition
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Very good
£ 105.28
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
LA SCIENCE JURIDIQUE ENTRE POLIITIQUE ET SCIENCES HUMAINES (XIXe-XXe siècles)
Fredéric Audren, Jean-Louis Halpérin, Nicolas Marmin, Marc Milet, Georges Navet, Guillaume Sacriste
Language: French
Published by Presses Universitaires du Septentrion, 2001
- Softcover
Seller: Librairie Rouchaleou, Saint-André-de-Sangonis, FR, FranceLibrairie Rouchaleou
Contact seller5-star sellerCondition: Used - Fine
£ 17.63
£ 46.20 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketBroché. Condition: Très bon. 1 volume broché, 205 pages [6}. Revue d'Histoire des Sciences Humaines RHSH, N°4. Bel exemplaire.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 167.97
£ 1.94 shippingShips within U.S.A.Quantity: 9 available
Condition: New.
- Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.INDOO
Contact seller5-star sellerCondition: New
£ 169.97
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 196.14
£ 1.94 shippingShips within U.S.A.Quantity: 9 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 208.57
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 195.47
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2008
- Hardcover
- First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 218.27
Free ShippingShips within U.S.A.Quantity: 1 available
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 system…s 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.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 213.92
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by CRC Press 2008-12-20, 2008
- Hardcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 216.03
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 5 available
Hardcover. Condition: New.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 218.51
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 243.43
£ 1.94 shippingShips within U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade
Contact seller5-star sellerCondition: New
£ 244.32
£ 2.20 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand new! Please provide a physical shipping address.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 248.51
£ 1.94 shippingShips within U.S.A.Quantity: 3 available
Condition: As New. Unread book in perfect condition.
- Hardcover
- First Edition
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 245.63
£ 8.13 shippingShips from Ireland to U.S.A.Quantity: 15 available
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. . . . .
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 238.72
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 271.38
Free ShippingShips within U.S.A.Quantity: 1 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 234.63
£ 41.92 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. 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.
Language: English
Published by Taylor & Francis Group, 2008
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 274.33
£ 2.93 shippingShips within U.S.A.Quantity: 3 available
Condition: New. pp. 490 Index.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 294.56
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 275.45
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by CRC Press, 2008
- Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 287.62
£ 5.87 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 294.13
£ 7.70 shippingShips within U.S.A.Quantity: 15 available
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.
Language: English
Published by Taylor & Francis Group, 2008
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 305.10
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New. pp. 490.
Language: English
Published by ISTE Ltd and John Wiley & Sons Inc, London, 2008
- Hardcover
- First Edition
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 342.85
£ 27.13 shippingShips from Australia to U.S.A.Quantity: 1 available
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 system…s 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by CRC Pr I Llc, 2008
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 352.10
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 488 pages. 9.25x6.25x1.00 inches. In Stock.
Language: English
Published by CRC Press Dez 2008, 2008
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 390.40
£ 55.17 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: 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
Seller: LibSan, Athis Mons, FranceLibSan
Contact seller1-star sellerCondition: New
£ 66.09
£ 7.70 shippingShips from France to U.S.A.Quantity: 1 available
Couverture souple. Condition: Neuf.
Language: English
Published by Taylor & Francis Group, 2008
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 256.72
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New. pp. 490 75 equations This item is printed on demand.
