Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. Proceedings /
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Bolduc, Claude, Desharnais, Jules, Ktari, Bechir |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer
2010.
|
Series: | Lecture Notes in Computer Science,
6120 |
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Interactive theorem proving first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published: (2010) -
Process scale purification of antibodies /
Published: (2009) -
Naturally occurring antibodies (NAbs) /
Published: (2012) -
ECOOP 2010 - object-oriented programming 24th european conference, Maribor, Slovenia, June 21-25, 2010. Proceedings /
Published: (2010) -
Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
by: Aldini, Alessandro
Published: (2010)