Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, V... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Kompilatorer og fortolkere
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Informatik
  9. Certified Programs and Proofs: Third International Conference,...

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Informatik Kompilatorer og fortolkere Kunstig intelligens Matematik til informatikfag Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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 papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2013 ed.
Udgivelsesdato 18-11-2013
Første udgivelsesår 2013
Serie Theoretical Computer Science and General Issues
Illustrationer 44 Illustrations, black and white; XII, 309 p. 44 illus.
Fagredaktør Georges Gonthier, Michael Norrish
Originalsprog Switzerland
Sideantal 309
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 309 pages, 44 Illustrations, black and white; XII, 309 p. 44 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319035444