Certified Programs And Proofs
Full Title: | Certified Programs And Proofs |
---|---|
ISBN: | 3642353088 |
ISBN13: | 9783642353086 |
Authors: |
Japan) CPP 2012 (2012 Kyoto |
Full Title: | Certified Programs And Proofs |
---|---|
ISBN: | 3642353088 |
ISBN13: | 9783642353086 |
Authors: |
Japan) CPP 2012 (2012 Kyoto |