Methods of programming: selected papers on the cip-project
Auteur :
Broy, Manfred
ISBN :
9783540545767
Date de publication :
23 oct. 1991
Dimensions :
23,5 x 15,5 x 1,5 cm
Poids :
900 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program transformations.