Tools and algorithms for the construction and analysis of systems: 6th international conference, tacas 2000 held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25 - april 2, 2000 proceedings: tacas 2000, held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25-april 2, 2000, proceedings: tacas 2000, held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25-april 2, 2000, proceedings
Auteur :
Graf, Susanne
ISBN :
9783540672821
Date de publication :
15 mars 2000
Dimensions :
23,3 x 15,5 x 2,9 cm
Poids :
792 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne