Del 12135
Del 16040 i serien Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Häftad, Engelska, 2025
839 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2025-08-28
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor297
- FörlagSpringer Nature Switzerland AG
- ISBN9783032009418
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Performance Evaluation Methodologies and Tools
Anne Remke, Katinka Wolter, Gethin Norman
Häftad
1 449 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
Häftad
719 kr
Computer Performance Engineering
Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
Häftad
719 kr
Del 15454
Del 9629
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke, Boudewijn R. Haverkort
Häftad
719 kr
Del 12289
Del 9081
Analytical and Stochastic Modelling Techniques and Applications
Marco Gribaudo, Daniele Manini, Anne Remke
Häftad
699 kr
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
Häftad
719 kr