Del 419
Proceedings of the 10th International Symposium on Hydrogen Energy, Renewable Energy and Materials
Mohan Lal Kolhe, Qiangqiang Liao
Häftad, 2026
3 189 kr
Del 419 i serien Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Häftad, Engelska, 2014
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Produktinformation
- Utgivningsdatum2014-04-22
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieCommunications in Computer and Information Science
- Antal sidor297
- Upplaga2014
- FörlagSpringer International Publishing AG
- ISBN9783319054155
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 419
Del 419
Del 419
Del 419
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
S. R. Kannan, Mark Last, Tzung-Pei Hong, Chun-Hao Chen
Häftad, 2023
2 469 kr
Del 419
Del 419
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
S. R. Kannan, Mark Last, Tzung-Pei Hong, Chun-Hao Chen
Inbunden, 2022
2 469 kr
Del 419
Green Intelligent Transportation Systems
Wuhong Wang, Klaus Bengler, Xiaobei Jiang
Inbunden, 2017
2 899 kr
Del 596
Del 419