Tools and algorithms for the construction and analysis of systems: 24th international conference, tacas 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, thessaloniki, greece, april 14-20, 2018, proceedings, part ii
Éditeur :
Springer International Publishing AG
ISBN :
9783319899626
Date de publication :
14 avr. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse