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

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

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

Beskrivelse

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2012 ed.
Udgivelsesdato 01-11-2012
Første udgivelsesår 2012
Serie Theoretical Computer Science and General Issues
Illustrationer 64 Illustrations, black and white; X, 305 p. 64 illus.
Fagredaktør Chris Hawblitzel, Dale Miller
Originalsprog Germany
Sideantal 305
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 305 pages, 64 Illustrations, black and white; X, 305 p. 64 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783642353079