NASA Formal Methods

NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per NASA Formal Methods sono 9783032280794, 3032280796 e gli ISBN per la versione cartacea sono 9783032280787, 3032280788. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings e pubblicato da Springer. Gli ISBN digitali e di eTextbook per NASA Formal Methods sono 9783032280794, 3032280796 e gli ISBN per la versione cartacea sono 9783032280787, 3032280788. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.