KIRJAUDU
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
101,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 3-4 viikossa
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783031331695
Aihealue:
|
Toimitusehdot |
Asiakaspalvelu |
YHTEYSTIEDOT |
SEURAA MEITÄ
|
 |
Booky.fi | Kotimainen kirjakauppasi netissä
Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!
Tietosuojaseloste
