NASA Formal Methods

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per NASA Formal Methods sono 9783031937064, 3031937066 e gli ISBN per la versione cartacea sono 9783031937057, 3031937058. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per NASA Formal Methods sono 9783031937064, 3031937066 e gli ISBN per la versione cartacea sono 9783031937057, 3031937058. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.