Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bolduc, Claude (Editor), Desharnais, Jules (Editor), Ktari, Béchir (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6120
• Subjects: Computer science.; Immunology.; Software engineering.; Computer programming.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.
• Physical Description: X, 427 p. 57 illus. online resource.
• ISBN: 9783642133213
• ISSN: 0302-9743 ;