9780691181301 - formal verification of control system software di garoche, pierre-loc (24 risultati)
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 16,64
Spedizione gratuitaSpedito in U.S.A.Quantità: 3 disponibili
Condizione: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 31,30
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. New hardcover. Unread shop stock.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,95
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 13 disponibili
Condizione: New.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 45,07
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 13 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,54
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,91
Spedizione gratuitaSpedito in U.S.A.Quantità: 7 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,60
EUR 5,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 7 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Princeton University Press, US, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,45
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Hardback. Condizione: 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 l…ives. 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.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,46
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: New. 2019. Hardcover. . . . . .
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,37
EUR 6,80 spedizioneSpedito da Italia a U.S.A.Quantità: 7 disponibili
Condizione: new.
Lingua: Inglese
Editore: Princeton University Press, US, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Rarewaves USA, HEBRON, KY, U.S.A.Rarewaves USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,92
Spedizione gratuitaSpedito in U.S.A.Quantità: 19 disponibili
Hardback. Condizione: 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 l…ives. 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.
Lingua: Inglese
Editore: Princeton University Press, New Jersey, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,61
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 pe…ople 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.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,30
EUR 8,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. 2019. Hardcover. . . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 71,21
EUR 7,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
Lingua: Inglese
Editore: Princeton University Press 2019-05-14, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,82
EUR 18,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 7 disponibili
Hardcover. Condizione: New.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,32
EUR 18,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 7 disponibili
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Princeton University Press, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 86,24
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
Lingua: Inglese
Editore: Princeton Univ Pr, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,79
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 232 pages. 9.50x6.25x0.75 inches. In Stock.
Lingua: Inglese
Editore: Princeton Univ Pr, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,69
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 232 pages. 9.50x6.25x0.75 inches. In Stock.
Lingua: Inglese
Editore: Princeton University Press, US, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Rarewaves USA United, HEBRON, KY, U.S.A.Rarewaves USA United
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,67
EUR 42,80 spedizioneSpedito in U.S.A.Quantità: 19 disponibili
Hardback. Condizione: 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 l…ives. 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.
Lingua: Inglese
Editore: PRINCETON UNIV PR, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Princeton University Press, US, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,41
EUR 75,97 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Hardback. Condizione: 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 l…ives. 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.
Lingua: Inglese
Editore: Princeton University Press, New Jersey, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 118,09
EUR 31,67 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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 pe…ople 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.
Lingua: Inglese
Editore: Princeton University Press Mai 2019, 2019
Serie: Libro 30 di 33 - Princeton Series in Applied Mathematics
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 110,00
EUR 62,70 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: 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 t…heir 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.
