Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Cham, Suiza :
Springer,
2013, c2013
|
| Sarja: | (Lecture Notes in Computer Science)
|
| Linkit: | Ver documento en línea |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
Samankaltaisia teoksia: Certified Programs and Proofs :
- Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
- Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
- Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : Proceedings /
- Adapting Proofs-as-Programs : The Curry--Howard Protocol /
- Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
- Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /