Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contr...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International conference on Mathematics of program construction :Marstrand, Suède
Altres autors:	Jeuring, Johan, 1965- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1422
Matèries:	Génie logiciel Informatique Algorithmes Ordinateurs Informatique > Mathématiques Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Mathematics of program construction, 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998, proceedings, Johan Jeuring, ed., 1998, New York, Springer, 1 vol. (X-382 p.), Lecture notes in computer science, 3-540-64591-8 • Mathematics of Program Construction, Texte imprimé, 9783662200797