Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Mathematics of Program Construction

Mathematics of Program Construction - Bog

- 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Mathematics of Program Construction
Bag om Mathematics of Program Construction

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540356318
  • Indbinding:
  • Paperback
  • Sideantal:
  • 458
  • Udgivet:
  • 27. juni 2006
  • Udgave:
  • 2006
  • Størrelse:
  • 234x156x24 mm.
  • Vægt:
  • 1440 g.
  • 8-11 hverdage.
  • 16. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Mathematics of Program Construction

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

Brugerbedømmelser af Mathematics of Program Construction



Andre købte også..
Find lignende bøger
Bogen Mathematics of Program Construction findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.