Symbolic algebraic methods and verification methods
Auteur :
Alefeld, Goltz
ISBN :
9783211835937
Date de publication :
12 févr. 2001
Dimensions :
24,4 x 17,0 x 1,5 cm
Poids :
552 g
Langue :
Anglais
Pays d'origine :
Autriche
A collection of worked out talks on the subjects ranging from the combination of symbolic-algebraic methods and verification methods, to hybrid methods, given during a Dagstuhl seminar at the Forschungszentrum fur Informatik, Schloss Dagstuhl, Germany.