9780691181301 - formal verification of control system software: 58 (princeton series in applied mathematics) de garoche, pierre-loïc (24 resultados)
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de AmericaWorld of Books (was SecondSale)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 16,68
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: PsychoBabel & Skoob Books, Didcot, Reino UnidoPsychoBabel & Skoob Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 31,24
Envío por EUR 14,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: New. New hardcover. Unread shop stock.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,85
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 13 disponibles
Condición: New.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 45,17
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 13 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,67
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- 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 56,03
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 7 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,50
Envío por EUR 5,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 7 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Editorial: Princeton University Press, US, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,60
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Hardback. Condición: New. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their li…ves. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
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 56,46
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. 2019. Hardcover. . . . . .
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,37
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 7 disponibles
Condición: new.
Idioma: Inglés
Editorial: Princeton University Press, US, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de AmericaRarewaves USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,09
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 19 disponibles
Hardback. Condición: New. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their li…ves. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Idioma: Inglés
Editorial: Princeton University Press, New Jersey, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,79
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost peo…ple their lives. In this authoritative and accessible book, Pierre-Loic Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,46
Envío por EUR 9,01Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. 2019. Hardcover. . . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 71,37
Envío por EUR 7,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
Editorial: Princeton University Press 2019-05-14, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,70
Envío por EUR 18,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 7 disponibles
Hardcover. Condición: New.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,19
Envío por EUR 18,68Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 7 disponibles
Hardback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Editorial: Princeton University Press, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,44
Envío por EUR 3,42Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
Editorial: Princeton Univ Pr, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,64
Envío por EUR 14,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 232 pages. 9.50x6.25x0.75 inches. In Stock.
Idioma: Inglés
Editorial: Princeton University Press, US, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Rarewaves USA United, HEBRON, KY, Estados Unidos de AmericaRarewaves USA United
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,52
Envío por EUR 42,90Se envía dentro de Estados Unidos de AmericaCantidad disponible: 19 disponibles
Hardback. Condición: New. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their li…ves. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Idioma: Inglés
Editorial: Princeton Univ Pr, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 104,82
Envío por EUR 14,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 232 pages. 9.50x6.25x0.75 inches. In Stock.
Idioma: Inglés
Editorial: PRINCETON UNIV PR, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,23
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Princeton University Press, US, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,29
Envío por EUR 75,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Hardback. Condición: New. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their li…ves. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
Idioma: Inglés
Editorial: Princeton University Press, New Jersey, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,52
Envío por EUR 31,74Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost peo…ple their lives. In this authoritative and accessible book, Pierre-Loic Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies. An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Idioma: Inglés
Editorial: Princeton University Press Mai 2019, 2019
Serie: Libro 30 de 33 - Princeton Series in Applied Mathematics
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 110,00
Envío por EUR 62,70Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. Neuware - An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people th…eir lives. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of software.Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software.As the autonomy of critical systems continues to increase-as evidenced by autonomous cars, drones, and satellites and landers-the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
