Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

69,00 €
+ 8,49 € Envío
  • product image
Verificación de software y métodos formales para sistemas autónomos habilitados para ML en rústica

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Marca: Unbranded
Vendido por:

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Marca: Unbranded
Precio: 69,00 €
Vendido por:
69,00 €
+ 8,49 € Envío

Solo quedan 1 en el inventario

Aceptamos los siguientes métodos de pago

Descripción

Este libro constituye las actas arbitradas del 5º Taller Internacional sobre Verificación de Software y Métodos Formales para Sistemas Autónomos MLEnables FoMLAS 2022 y el 15º Taller Internacional sobre Verificación Numérica de Software NSV 2022 que tuvo lugar en Haifa, Israel en julio-agosto de 2022.
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: Inglés
  • Fecha de publicación: 16 de diciembre de 2022
  • Longitud: 205
  • Editor / Marca: Springer International
  • Formato: Libro en rústica
  • Nº de Fruugo : 413633815-874147860
  • ISBN: 9783031212215

Entrega y devolución

Enviado en 24 horas

  • STANDARD: 8,49 € - Entrega entre mar 21 octubre 2025–jue 23 octubre 2025

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa