Nicolas navet (31 resultados)
- Tapa blanda
Librería: WorldofBooks, Goring-By-Sea, WS, Reino UnidoWorldofBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 4,65
Envío por EUR 6,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.
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
Idioma: Francés
Editorial: Presses Universitaires du Septentrion 2001
- Tapa blanda
Librería: Librairie Rouchaleou, Saint-André-de-Sangonis, FR, FranciaLibrairie Rouchaleou
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 20,00
Envío por EUR 54,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Broché. Condición: Très bon. 1 volume broché, 205 pages [6}. Revue d'Histoire des Sciences Humaines RHSH, N°4. Bel exemplaire.
Idioma: Inglés
Editorial: CRC Press LLC 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
- Primera edición
Librería: Better World Books: West, Reno, NV, Estados Unidos de AmericaBetter World Books: West
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 137,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 200,10
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 9 disponibles
Condición: New.
- Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 202,49
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 233,21
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 9 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 236,67
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 235,90
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: CRC Press 2008-12-20 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 240,08
Envío por EUR 17,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Hardcover. Condición: New.
- Tapa dura
- Primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 259,78
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 243,02
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 265,26
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 269,71
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 258,43
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 266,13
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Ubiquity Trade, Miami, FL, Estados Unidos de AmericaUbiquity Trade
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 290,79
Envío por EUR 2,62Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand new! Please provide a physical shipping address.
- Tapa dura
- Primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 278,73
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: 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. . . . .
Idioma: Inglés
Editorial: Taylor & Francis Group 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 306,34
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 490 Index.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 306,38
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 262,90
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 313,90
Envío por EUR 6,76Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: CRC Press 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 327,58
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Taylor & Francis Group 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 318,49
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 490.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 350,08
Envío por EUR 9,16Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: 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.
Idioma: Inglés
Editorial: CRC Pr I Llc 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 398,56
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 1st edition. 488 pages. 9.25x6.25x1.00 inches. In Stock.
- Tapa dura
- Primera edición
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 400,01
Envío por EUR 32,29Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: 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.
Idioma: Inglés
Editorial: CRC Press Dez 2008 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 404,80
Envío por EUR 64,48Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Neuware - A Clear Outline of Current Methods for Designing and Implementing Automotive SystemsHighlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-th…e-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.Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues.Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.
Idioma: Inglés
Editorial: CRC Press Dez 2008 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
Librería: Books-by-Floh, Paderborn, AlemaniaBooks-by-Floh
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 370,01
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware -A Clear Outline of Current Methods for Designing and Implementing Automotive SystemsHighlighting requirements, technologies, and business models, the Automotive Embedded Systems 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.Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues.Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems. 490 pp. Englisch.
- Tapa blanda
Librería: LibSan, Athis Mons, FranciaLibSan
Contactar con el vendedorVendedor de 1 estrellasCondición: Nuevo
EUR 75,00
Envío por EUR 9,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Couverture souple. Condición: Neuf.
Idioma: Inglés
Editorial: Taylor & Francis Group 2008
Serie: Industrial Information Technology, Libro 1 de 7. Libro 1 de 7 - Industrial Information Technology
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 286,21
Envío por EUR 7,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 490 75 equations This item is printed on demand.
