Kód: 43417066

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Brand: Springer Nature B.V.
SKU: 43417066
Price: 57.00 EUR
Availability: InStock
Author: Omri Isac
ISBN: 9783031212239

Autor Omri Isac, Radoslav Ivanov, Guy Katz

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 ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 216
Nakladateľ: Springer Nature B.V., 2022
Viac informácií o knihe

57 €

Bežne: 57.01 €

Ušetríte 0.01 €

Skladom u dodávateľa
Odosielame za 10 - 18 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Moonwalk
14.17 €
Predobjednať
The Score
13.76 € -12 %
Kúpiť
The Deal
12.34 € -21 %
Kúpiť
The Mistake
14.57 € -7 %
Kúpiť
Jujutsu Kaisen, Vol. 30
9.61 € -22 %
Kúpiť
Witch Hat Atelier: Grimoire Edition 1
34.62 € -29 %
Kúpiť
Invincible Compendium Volume 2
42.32 € -30 %
Kúpiť
Berserk Deluxe Volume 1
35.74 € -25 %
Kúpiť
The Goal
14.67 € -10 %
Kúpiť
Berserk Deluxe Volume 2
33.20 € -30 %
Kúpiť
Invincible Compendium Volume 1
57.20 € -9 %
Kúpiť
Witch Hat Atelier Manga Box Set 1
51.33 € -31 %
Kúpiť
Lord of Mysteries, Vol. 3: The Clown, Part III
14.98 € -29 %
Kúpiť
Murdoku
18.12 € -25 %
Kúpiť
Moonwalk: A Memoir
19.94 € -31 %
Predobjednať
Heated Rivalry
12.65 € -7 %
Kúpiť
Jujutsu Kaisen, Vol. 25
9.91 € -20 %
Kúpiť
Legacy
13.56 € -21 %
Kúpiť
Berserk Deluxe Volume 3
55.08 €
Kúpiť
Veil Volume 1
13.56 € -30 %
Kúpiť
White Nights
4.75 € -11 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 138 bodov

Anotácia knihy

The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.

Parametre knihy

57 €

Celý názov: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Podnázov: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Autor: Omri Isac, Radoslav Ivanov, Guy Katz
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 216
EAN: 9783031212239
ID: 43417066
Nakladateľ: Springer Nature B.V.
Hmotnosť: 311 g
Rozmery: 234 × 156 mm
Dátum vydania: 16. December 2022

O tomto obchode

Nákupný poradca

Prehľady

Knihy podľa jazyka

Platba

Doručenie 2.99 €

Osobný odber Bratislava a 12882 dalších

Slovensko

България Hrvatska România Magyarország Polska Česko