Mathematics of program construction : second international conference, Oxford, U.K., June 29 July 3, 1992 : proceedings

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real i...

Cijeli opis

Bibliografski detalji

Autor kompanije:	International conference on Mathematics of program construction :Oxford
Daljnji autori:	Bird, Richard Simpson, 1943- (Voditelj izdanja), Morgan, Carroll (Voditelj izdanja), Woodcock, Jim, 1956- (Voditelj izdanja)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 669
Teme:	Génie logiciel Informatique Algorithmes Ordinateurs Programmation (mathématiques) Logique symbolique et mathématique Informatique > Mathématiques Analyse combinatoire Actes de congrès
Online pristup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Bilješka:	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, second international conference, Oxford, U.K., June/July 1992, proceedings, R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds, Berlin, Springer-Verlag, 1993, 1 vol. (VIII-378 p.), Lecture notes in computer science, 3-540-56625-2 • Mathematics of Program Construction, Texte imprimé, 9783662173107