Items related to Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Hardcover
- PublisherThe MIT Press
- Publication date2021
- ISBN 10 0262044803
- ISBN 13 9780262044806
- BindingHardcover
- LanguageEnglish
- Number of pages312
Search results for Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Published by
The MIT Press (edition ), 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0262044803-8-1
Quantity: 1 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26381183415
Quantity: 3 available
Stock Image
VerifyingCyber-PhysicalSystems Format: Hardback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread copy in mint condition. Seller Inventory # RH9780262044806
Quantity: Over 20 available
Stock Image
VerifyingCyber-PhysicalSystems Format: Hardback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780262044806
Quantity: Over 20 available
Seller Image
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 41445518-n
Quantity: 15 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18381183421
Quantity: 3 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 382720616
Quantity: 4 available
Stock Image
Verifying Cyber-Physical Systems (Hardcover)
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. "A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"-- Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780262044806
Quantity: 1 available
Stock Image
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0262044803
Quantity: 1 available
Seller Image
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 41445518
Quantity: 15 available