Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

749,00 kr
+ 70,49 kr Leverans
  • product image
Programvaruverifiering och formella metoder för Mlenabled Autonomous Systems Paperback

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Märke: Unbranded
Säljs av:

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

  • Märke: Unbranded

749,00 kr

Bara 1 kvar i lager
+ 70,49 kr Leverans

14-dagars returpolicy

Säljs av:

749,00 kr

Bara 1 kvar i lager
+ 70,49 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

Denna bok utgör de refererade förfarandena från den 5:e internationella workshopen om programvaruverifiering och formella metoder för MLEnables Autonomous Systems FoMLAS 2022 och den 15:e internationella workshopen om numerisk programvaruverifiering NSV 2022 som ägde rum i Haifa, Israel i juliaugusti 2022.
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Format: Pocketbok
  • Publiceringsdatum: 2022-12-16
  • Längd: 205
  • Förläggare / Bolag: Springer International
  • Språk: Engelska
  • Fruugo-ID: 413633815-874147860
  • ISBN: 9783031212215

Leverans och returer

Skickas inom 24 timmar

  • STANDARD: 70,49 kr - Leverans mellan kl tis 13 januari 2026–tors 15 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy