Tools and algorithms for the construction and analysis of systems: 4th international conference, tacas '98, held as part of the joint european conferences on theory and practice of software, etaps '98, lisbon, portugal, march 28 - april 4, 1998 proceedings
Auteur :
Steffen, Bernhard
ISBN :
9783540643562
Date de publication :
18 mars 1998
Dimensions :
23,3 x 15,5 x 2,4 cm
Poids :
679 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.