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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bolduc, Claude (Επιμελητής έκδοσης), Desharnais, Jules (Επιμελητής έκδοσης), Ktari, Béchir (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6120
• Θέματα: 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.
• Φυσική περιγραφή: X, 427 p. 57 illus. online resource.
• ISBN: 9783642133213
• ISSN: 0302-9743 ;