Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022,
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022,
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9783031212215Mladinska knjiga ID
9783031212215Leto izida
2022Datum izida
16.12.2022Število strani
205Status dobavljivosti
7-10 delovnih dniZbirka
Lecture Notes in Computer ScienceZaložnik
Springer International Publishing AGUrednik
NENZI, LAURADimenzije
155 x 234 x 18BIC
UMZTOpis
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.Pogosto kupljeno skupaj
Mehka vezava
Ostali so si ogledali tudi ...
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
Naslov
Slovenska cesta 29, 1000 Ljubljana
E-naslovSpletna knjigarna: info@emka.si, Mladinska knjiga Založba: info@mladinska-knjiga.si
Kontakt01 241 30 00
Brezplačna številka080 12 05
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.