Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback Book

774,00 kr
+ 78,49 kr Leverans
  • product image
Programvaruverifiering och formella metoder för Mlenabled autonoma system Häftad bok

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback Book

  • Märke: Unbranded
Säljs av:

Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback Book

  • Märke: Unbranded
Pris: 774,00 kr
Säljs av:
774,00 kr
+ 78,49 kr Leverans

Bara 1 kvar i lager

Vi erbjuder följande betalsätt

Beskrivning

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
  • Förläggare / Bolag: Springer International
  • Språk: Engelska
  • Författare: Springer International
  • Fruugo-ID: 413811404-874470181
  • ISBN: 9783031212215

Leverans och returer

Skickas inom 24 timmar

  • STANDARD: 78,49 kr - Leverans mellan kl tis 14 oktober 2025–mån 20 oktober 2025

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