Formal Methods for Industrial Critical Systems

Autor Anne Remke

Formal Methods for Industrial Critical Systems - Anne Remke Nedostupné

Formal Methods for Industrial Critical Systems

Autor Anne Remke

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( měkká vazba )

    • Produkt je nedostupný.
E-shopové listy

Při zaslání zboží balíčkem

K nákupu nad 99 Kč dárek zdarma v hodnotě 19 Kč

E-shopové listy

Magazín Knihkupec

Při zaslání zboží balíčkem

K nákupu nad 249 Kč dárek zdarma v hodnotě 69 Kč

Magazín Knihkupec

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been… Přejít na celý popis

Ladislav Zibura / Všechny cesty, kam jsem vzal rodinu Ladislav Zibura cestuje s rodiči a manželkou do afrických savan i sumaterské džungle. S humorem sobě vlastním ukazuje, že někdy si člověk víc užije obyčejné pivo s tátou než setkání s tygrem. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Další knihy autora Vývoj ceny

Popis

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

Sdílet

kategorie
Knihy
Témata
Nakladatel
Springer Nature Switzerland
Rozměr
155 x 235 x 17
jazyk
angličtina
Vazba
měkká vazba
Hmotnost
470 g
isbn
978-3-032-00941-8
Počet stran
308
Vydání
1
ean
9783032009418

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Další knihy autora

Další knihy autora

Všechny knihy autora

Všechny knihy autora

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost