Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- p...

Ful tanımlama

Detaylı Bibliyografya

Müşterek Yazar:	International conference on mathematics of program construction :Ponte de Lima, Portugal
Diğer Yazarlar:	Backhouse, Roland Carl, 1948- (Yayın yönetmeni), Oliveira, José Nunes d' (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1837
Konular:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Informatique > Mathématiques Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	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, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 2000, proceedings, Roland Backhouse, José Nuno Oliveira (eds.), 2000, New York, Springer, 1 vol. (VII-255 p.), Lecture notes in computer science, 3-540-67727-5 • Mathematics of Program Construction, Texte imprimé, 9783662204900