Symbolic computation and automated reasoning: the calculemus-2000 symposium
Éditeur :
Taylor & Francis Inc
ISBN :
9781568811451
Date de publication :
2 avr. 2001
Dimensions :
22,9 x 15,2 cm
Poids :
566 g
Langue :
Anglais
Pays d'origine :
USA
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary