• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Hårdvara

      Formal Methods for Industrial Critical Systems

      30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

      AvBernhard Steffen,Anne Remke

      E-bok
      Engelska, 2025

      813 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      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

      Produktinformation

      • Utgivningsdatum:2025-08-27
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783032009425
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Anne Remke, Bernhard Steffen - Formal Methods for Industrial Critical Systems, Häftad
      Del 16040

      Formal Methods for Industrial Critical Systems

      Anne Remke, Bernhard Steffen

      Häftad, 2025

      659 kr

      Anne Remke, Valerio Schiavoni - Distributed Applications and Interoperable Systems, Häftad
      Del 12135

      Distributed Applications and Interoperable Systems

      Anne Remke, Valerio Schiavoni

      Häftad, 2020

      569 kr

      Anne Remke, Katinka Wolter, Gethin Norman - Performance Evaluation Methodologies and Tools, Häftad
      • Nyhet

      Performance Evaluation Methodologies and Tools

      Anne Remke, Katinka Wolter, Gethin Norman

      Häftad, 2026

      794 kr

      Anne Remke, Mariëlle Stoelinga - Stochastic Model Checking, Häftad

      Stochastic Model Checking

      Anne Remke, Mariëlle Stoelinga

      Häftad, 2014

      544 kr

      Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke - Computer Performance Engineering, Häftad

      Computer Performance Engineering

      Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke

      Häftad, 2018

      576 kr

      Josu Doncel, Anne Remke, Daniele Di Pompeo - Computer Performance Engineering, Häftad
      Del 15454

      Computer Performance Engineering

      Josu Doncel, Anne Remke, Daniele Di Pompeo

      Häftad, 2025

      559 kr

      Anne Remke, Boudewijn R. Haverkort - Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, Häftad
      Del 9629

      Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

      Anne Remke, Boudewijn R. Haverkort

      Häftad, 2016

      566 kr

      Marco Gribaudo, David N. Jansen, Anne Remke - Quantitative Evaluation of Systems, Häftad
      Del 12289

      Quantitative Evaluation of Systems

      Marco Gribaudo, David N. Jansen, Anne Remke

      Häftad, 2020

      576 kr

      Anne Remke, Hind Castel-Taleb, Benoit Barbot, Paolo Ballarini, Rena Bakhshi - Computer Performance Engineering, E-bok

      Computer Performance Engineering

      Anne Remke, Hind Castel-Taleb, Benoit Barbot, Paolo Ballarini, Rena Bakhshi

      E-bok
      2018

      732 kr

      Marco Gribaudo, Daniele Manini, Anne Remke - Analytical and Stochastic Modelling Techniques and Applications, Häftad
      Del 9081

      Analytical and Stochastic Modelling Techniques and Applications

      Marco Gribaudo, Daniele Manini, Anne Remke

      Häftad, 2015

      544 kr