
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sect......
fra 749,-
Tilgjengelig i 1 butikker
Frakt og levering
Produktinformasjon
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Topplisten: Other Brand Bøker

Barnas første sangkort
258,-
4

Mummi dine første år
259,-
3

-1%
Assassin's Creed Shadows
214,-
217,-
3

France hates me
449,-
3

-16%
Sex Tips From 1894 Av Ruth Smythers
109,-
129,-
1
Spesifikasjon
Produkt
| Produktnavn | Formal Methods for Industrial Critical Systems |
| Merke | Other Brand |
| book typ | Data og informasjonsteknologi |
Populære produkter
Pris og prishistorikk
Akkurat nå er 749,- den billigste prisen for Formal Methods for Industrial Critical Systems blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.
Laypeople in LawThe Vanished Return Goosebumps: The Vanishing NovelRe Exploring Play and Playfulness in Early Childhood Teacher EducationBodies and Boundaries in Graphic Fiction
From Reversal of Fortune to Economic ResurgenceBedouin Visual Leadership in the Middle EastEmerging Trends in Decision Sciences and Business OperationsThe Genesis and Structure of the Hungarian Jazz Diaspora
Saphie the One Eyed Cat Volume 1The Embodiment and Transmission of Ghanaian Kete Royal DanceBinaural HearingWaste Technology for Emerging Economies
















