Författare
Peter Gorm Larsen
Peter Gorm Larsen är en uppskattad författare inom Data och IT med totalt 1 bok tillgängliga på Bokkollen.
Bland verken finns Formal Methods for Industrial Critical Systems, som toppar listan över Peter Gorm Larsens populäraste böcker. Verken spänner över data & it och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Peter Gorm Larsens författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Peter Gorm Larsen hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Formal Methods for Industrial Critical Systems
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3-4, 2026.The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in Industrial Critical Systems.
Hela bibliografin
Utforska alla Peter Gorm Larsens publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Peter Gorm Larsen kommer du förmodligen att uppskatta även dessa författare inom data & it.