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
644 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, 2026
1 137 kr
Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
Häftad, 2018
556 kr
Del 15454
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad, 2016
556 kr
Del 12289
Del 9081
Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniele Manini, Anne Remke
Häftad, 2015
534 kr
- -23%
- 4 för 3
Del 1