NASA Formal Methods edito da Springer Nature Switzerland
Alta reperibilità

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16¿18, 2023, Proceedings

EAN:

9783031331695

ISBN:

3031331699

Pagine:
516
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione NASA Formal Methods

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.

Spedizione gratuita
€ 108.83
o 3 rate da € 36.28 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro NASA Formal Methods
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti