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

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

Bibliographic Details
Corporate Authors: MPC 2010 Québec, Québec, SpringerLink (Online service)
Other Authors: Bolduc, Claude, Desharnais, Jules, Ktari, Béchir
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, [2010]
Series:Lecture notes in computer science ; 6120.
Subjects:
Computer programming > Mathematics > Congresses.
Computer programs > Mathematics > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.6 .M63 2010
 
Call Number Status Get It
QA76.6 .M63 2010 Available