KIRJAUDU
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
91,40 €
Springer International Publishing AG
Sivumäärä: 490 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2023
Julkaisuvuosi: 2023, 03.06.2023 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13903
Sivumäärä: 490 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2023
Julkaisuvuosi: 2023, 03.06.2023 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13903
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.
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.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783031331695
Aihealue:
|
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |