Tapsoft '95 theory and practice of software development: 6th international joint conference caap/fase, aarhus, denmark, may 22 - 26, 1995. proceedings
Auteur :
Mosses, Peter D.
ISBN :
9783540592938
Date de publication :
3 mai 1995
Dimensions :
23,3 x 15,5 x 4,2 cm
Poids :
1258 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Theoretical computer scientists and software engineers (researchers and practitioners) discuss how formal methods can usefully be applied in software development. These proceedings of the TAPSOFT '95 conference also contain 44 revised papers and 10 tool descriptions.