Categorías

Atención al cliente
915 757 000
De Lunes a Viernes
De 9:00h a 19:00h

Recomendador de libros

Dinos qué te gusta y te recomendamos qué leer

Los libros más deseados

Compra online los libros más deseados por nuestros clientes

Novedades en libros. Noviembre de 2024

Todas las novedades editoriales de Noviembre de 2024

Listas de libros recomendados

Novedades, sagas y recomendaciones por temáticas

Click & Collect

Compra online y recoge en librería sin pago anticipado ni gastos de envío

Nuestras librerías

MÁLAGA UNIVERSIDAD

Av. Doctor Manuel Domínguez, 6
951 02 05 02

STA. CRUZ DE TENERIFE

Av. Tres de Mayo, 71
922 23 61 83

LA OROTAVA

Multicentro Comercial El Trompo, Local P5A
922 98 71 60

LAS PALMAS

Calle José Franchy Roca, 13
828 15 00 80

PALMA DE MALLORCA

C/ Marqués de Fontsanta, 6
971 46 53 61

BARCELONA

(punto de recogida)
Gran Vía de les Corts Catalanes, 594, (Librería Hispano Americana)
933 18 05 08

ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
¿No sabes qué libro leer? Prueba nuestro recomendador de libros
  • Estás aquí:  Formal Methods for Safe Autonomy, Chuchu Fan
Portada de Formal Methods for Safe Autonomy
Click para ampliar

Formal Methods for Safe Autonomy

Chuchu Fan

Chuchu Fan

Detalles del libro

EditorialAssociation for Computing Machinery 6504698
Edición(18/10/2024)
IdiomaInglés
ISBN9798400708657

Detalles del libro

Autor/esChuchu Fan
EditorialAssociation for Computing Machinery 6504698
Edición(18/10/2024)
IdiomaInglés
ISBN9798400708657
94,77 €
90,03 €
5 a 15 días
Envío Gratis al comprar este libro

Resumen

There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems . This book introduces new verification and synthesis algorithms to... Leer más

Sé el primero en valorar este libro

Otros libros:

Juan María Guelbenzu y la Sociedad de Cuartetos

Juan María Guelbenzu Y La Sociedad...

  • 260 páginas
  • EN PREVENTA
  • 22,00€ 20,90€
22,00€ 20,90€

Tortugas

  • 168 páginas
  • EN PREVENTA
  • 16,00€ 15,20€
16,00€ 15,20€
Petites faules (butxaca)

Petites Faules (butxaca)

  • 160 páginas
  • EN PREVENTA
  • 14,00€ 13,30€
14,00€ 13,30€

Introducción A La Microeconomía...

  • 400 páginas
  • EN PREVENTA
  • 52,00€ 49,40€
52,00€ 49,40€

Sergio Leone

  • 520 páginas
  • EN PREVENTA
  • 29,00€ 27,55€
29,00€ 27,55€

El Foc Sortit De L'aigua. Trilogia De...

  • 264 páginas
  • EN PREVENTA
  • 19,00€ 18,05€
19,00€ 18,05€

El Toque Lubitsch

  • 250 páginas
  • EN PREVENTA
  • 20,00€ 19,00€
20,00€ 19,00€

¡todo Esto Era Monte! Microhistoria...

  • 15,60€ 14,82€
15,60€ 14,82€

Otra información de interés

  • Portada: Formal Methods for Safe Autonomy de Association for Computing Machinery 6504698
  • Editorial: Association for Computing Machinery 6504698 | 18/10/2024
  • Sinopsis:

    El autor de Formal Methods for Safe Autonomy, con isbn 979-84-00-70865-7, es Chuchu Fan.

Formal Methods for Safe Autonomy