Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, . (Lecture Notes in Computer Science, 13466)

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

ISBN 10: 3031212215 ISBN 13: 9783031212215
Editore: Springer 2022-12-16, 2022
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da Chiron Media, Wallingford, Regno Unito

Venditore AbeBooks dal 2 agosto 2010

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo:
EUR 70,20
Spedizione EUR 18,12
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungere al carrello