Del 12229 - Lecture Notes in Computer Science
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Häftad, Engelska, 2020
1 089 kr
Skickas inom 10-15 vardagar
Anastasia Mavridou – författare
Visar alla böcker från författaren Anastasia Mavridou.
5 produkter
5 produkter
- Del 12863 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Häftad, Engelska, 2021739 kr
Skickas inom 10-15 vardagar
- Häftad, Tyska, 2012
519 kr
Skickas inom 3-6 vardagar
- Häftad, Tyska, 2012
519 kr
Skickas inom 3-6 vardagar
- Häftad, Tyska, 2012
469 kr
Skickas inom 3-6 vardagar