Software Verification And Formal Methods For Mlenabled Autonomous Systems Paperback

749,00 kr
+ 74,99 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
+ 74,99 kr Leverans
Säljs av:

749,00 kr

Bara 1 kvar i lager
+ 74,99 kr Leverans

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
  • 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: 74,99 kr - Leverans mellan kl tis 25 november 2025–tors 27 november 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