Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /

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...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: Norrish, Michael (Utgivare, redaktör, sammanställare)
Materialtyp: E-bok
Språk:English
Publicerad: Cham Springer International Publishing Imprint: Springer, 2013.
Serie:Lecture Notes in Computer Science, 8307
Ämnen:
Computer science.
Logic design.
Algebra > Data processing.
Artificial intelligence.
Länkar:Click here to view the full text content
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Systemet under underhåll

Bibliotekssystemet är närvarande under underhåll.

Tillgänglighetsinformation kan inte visas för tillfället. Vi beklagar störningen. Kontakta oss om problemet kvarstår:

david@pintaran.my

Internet

Click here to view the full text content

Liknande verk