Del 12135
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Häftad, Engelska, 2025
Del 16040 i serien Lecture Notes in Computer Science
637 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Performance Evaluation Methodologies and Tools
Anne Remke, Katinka Wolter, Gethin Norman
Häftad
1 112 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Häftad
550 kr
Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
Häftad
550 kr
Del 15454
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad
550 kr
Del 12289
Del 9081
Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniele Manini, Anne Remke
Häftad
529 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Häftad
550 kr