Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Model Checking, Synthesis, and Learning sono 9783030913847, 3030913848 e gli ISBN per la versione cartacea sono 9783030913830, 303091383X. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday e pubblicato da Springer. Gli ISBN digitali e di eTextbook per Model Checking, Synthesis, and Learning sono 9783030913847, 3030913848 e gli ISBN per la versione cartacea sono 9783030913830, 303091383X. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource.