Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed a...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | eLyfr |
| Iaith: | English |
| Cyhoeddwyd: |
Cham
Springer International Publishing Imprint: Springer,
2013.
|
| Cyfres: | Lecture Notes in Computer Science,
8307 |
| Pynciau: | |
| Mynediad Ar-lein: | Click here to view the full text content |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Gwaith Cynnal a Chadw ar y Gweill
Rydym yn gwneud gwaith cynnal a chadw ar ein System Rheoli'r Llyfrgell ar hyn o bryd
Nid yw gwybodaeth am y stoc nac am argaeledd yr eitemau ar gael ar hyn o bryd. Rydym yn ymddiheuro am unrhyw anhwylustod. Cysylltwch â ni am ragor o wybodaeth.