Formal Methods for Industrial Critical Systems 1
Kommande
bokomslag Formal Methods for Industrial Critical Systems
Data & IT

Formal Methods for Industrial Critical Systems

Anne Remke • Bernhard Steffen

Pocket

1279:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

  • 297 sidor
  • 2025
  • Författare: Anne Remke, Bernhard Steffen
  • Format: Pocket/Paperback
  • ISBN: 9783032009418
  • Språk: Engelska
  • Antal sidor: 297
  • Utgivningsdatum: 2025-09-22
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Distributed Applications and Interoperable Systems

    Distributed Applications and Interope...

    Valerio Schiavoni Anne Remke

    Pocket

    749:-
  2. bokomslag Stochastic Model Checking

    Stochastic Model Checking

    Mariëlle Stoelinga Anne Remke

    Pocket

    699:-
  3. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Laura Titolo Alessandro Cimatti

    Pocket

    949:-
  4. bokomslag Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Reliability, Safety, and Security of ...

    Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky

    Pocket

    729:-
  5. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Francesco Flammini Frédéric Lang

    Pocket

    719:-
  6. bokomslag Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

    Measurement, Modelling and Evaluation...

    Boudewijn R Haverkort Anne Remke

    Pocket

    749:-
  7. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Marieke Huisman Jan Friso Groote

    Pocket

    1029:-
  8. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Ralf Pinger Mariëlle Stoelinga

    Pocket

    669:-
  9. bokomslag Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1259:-
  10. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Tim Willemse Kim Guldstrand Larsen

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Pocket

    839:-
  2. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Klotband

    929:-
  3. bokomslag Computer Performance Engineering

    Computer Performance Engineering

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

    Pocket

    749:-
  4. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  5. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  6. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  7. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    749:-
  8. bokomslag Mathematical Foundations of Advanced Informatics

    Mathematical Foundations of Advanced ...

    Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing

    499:-
  9. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Dirk Beyer Ph D

    Pocket

    749:-
  10. bokomslag Distributed Applications and Interoperable Systems

    Distributed Applications and Interope...

    Valerio Schiavoni Anne Remke

    Pocket

    749:-