Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings

Resource Information

The work Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings

Title remainder

10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings

Statement of responsibility

Claude Bolduc, Jules Desharnais, Bechir Ktari (eds.)

Creator

• MPC 2010, 2010

Contributor

• Bolduc, Claude
• Desharnais, Jules
• Ktari, Béchir

Subject

• Computer logic
• Computer programming
• Computer programming
• Computer programming -- Mathematics -- Congresses
• Computer programs -- Mathematics -- Congresses
• Computer science
• Computer science
• Conference papers and proceedings
• Conference papers and proceedings
• Congress
• Immunology
• Immunology
• Informatique
• Logic, Symbolic and mathematical
• Logic, Symbolic and mathematical
• Mathematics
• Mathematische Methode
• Québec <2010>
• Software
• Software engineering
• Software engineering
• Softwareentwicklung
• Computer logic

Genre

• Congresses
• Conference papers and proceedings
• Congress

Language

eng

Summary

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Qu?♭bec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics

Member of

• Lecture notes in computer science, 6120

Cataloging source

GW5XE

Dewey number

005.10151

Illustrations

illustrations

Index

index present

LC call number

QA76.6

LC item number

.M63 2010

Literary form

non fiction

Nature of contents

• dictionaries
• bibliography

NLM call number

QA 76.6

Series statement

Lecture notes in computer science,

Series volume

6120