Program development by specification and transformation: the prospectra methodology, language family, and system
Auteur :
Hoffmann, Berthold
ISBN :
9783540567332
Date de publication :
30 août 1993
Dimensions :
23,4 x 15,6 x 3,3 cm
Poids :
895 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.