NASA Formal Methods - Rozier Kristin Yvonne
NASA Formal Methods - Rozier Kristin Yvonne
- 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.EAN: 9783031331695
Marka
Symbol
019HKM03527KS
Rok wydania
2023
Strony
516
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Rozier Kristin Yvonne
Język
angielski

Bez ryzyka
14 dni na łatwy zwrot

Szeroki asortyment
ponad milion pozycji

Niskie ceny i rabaty
nawet do 50% każdego dnia
Niepotwierdzona zakupem
Ocena: /5
Marka
Symbol
019HKM03527KS
Kod producenta
9783031331695
Rok wydania
2023
Strony
516
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Rozier Kristin Yvonne
Język
angielski

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.EAN: 9783031331695
Niepotwierdzona zakupem
Ocena: /5
Zapytaj o produkt
Niepotwierdzona zakupem
Ocena: /5
Napisz swoją opinię