Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniver...

Volledige beschrijving

Bibliografische gegevens

Coauteur:	Conference on mathematics of program construction :Groningen, Pays-Bas
Andere auteurs:	Van de Snepscheut, Jan L. A., 1953-1994 (Publishing director)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Reeks:	Lecture notes in computer science 375
Onderwerpen:	Génie logiciel Informatique Algorithmes Ordinateurs Logique symbolique et mathématique Informatique > Mathématiques Microprocesseurs Actes de congrès
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	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, 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989, proceedings, J.L.A. van de Snepscheut (ed.), Berlin, Springer-Verlag, 1989, 1 vol. (VI-420 p.), Lecture notes in computer science, 3-540-51305-1 • Mathematics of Program Construction, Texte imprimé, 9783662206485