Formal Methods for Safe Autonomy
- Data-driven Verification, Synthesis, and Applications
Af
- Format
- E-bog, PDF
- Engelsk
- Indgår i serie
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram
Normalpris
kr. 399,95
Medlemspris
kr. 339,95
Beskrivelse
No detailed description available for 'Formal Methods for Safe Autonomy'.
Detaljer
- SprogEngelsk
- Udgivelsesdato07-10-2024
- ISBN139798400708664
- Forlag Association for Computing Machinery
- FormatPDF
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.