9780367554019 - safety assurance under uncertainties: from software to cyber-physical/machine learning systems (17 resultados)
- Tapa dura
Librería: Books From California, Simi Valley, CA, Estados Unidos de AmericaBooks From California
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 101,19
Envío por EUR 4,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Good. Damage on front cover. Pages are clean, text intact and unmarred.
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 112,77
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,13
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: New.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 132,94
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. 1st edition NO-PA16APR2015-KAP.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 135,45
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 137,49
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 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 155,44
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 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 143,59
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 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 155,67
Envío por EUR 17,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 158,03
Envío por EUR 22,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardback. Condición: New. New copy - Usually dispatched within 4 working days.
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 188,43
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: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 189,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 182,09
Envío por EUR 6,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 178,97
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 4 estrellasEdición internacionalCondición: Nuevo
EUR 234,63
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 231,69
Envío por EUR 14,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 366 pages. 9.18x6.12x9.21 inches. In Stock.
- Tapa dura
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 191,33
Envío por EUR 43,23Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by a…utomated driving systems mandates environmental uncertainties to be addressed and the resulting hazards to be mitigated. Besides, the abundance of statistical machine-learning components massive numerical computing units for statistical reasoning such as deep neural networks make systems hard to explain, understand, analyze or verify.The book is the first to provide a comprehensive overview of such united and interdisciplinary efforts. Driven by automated driving systems as a leading example, the book describes diverse techniques to specify, model, test, analyze, and verify modern software systems. Coming out of a collaboration between industry and basic academic research, the book covers both practical analysis techniques (readily applicable to existing systems) and more long-range design techniques (that call for new designs but bring a greater degree of assurance).The book provides high-level intuitions and use-cases of each technique, rather than technical details, with plenty of pointers for interested readers. Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
