Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications - Bog

- 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

indgår i Theoretical Computer Science and General Issues serien

indgår i Lecture Notes in Computer Science serien

Typed Lambda Calculi and Applications
Bag om Typed Lambda Calculi and Applications

Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540732273
  • Indbinding:
  • Paperback
  • Sideantal:
  • 400
  • Udgivet:
  • 15. juni 2007
  • Udgave:
  • 2007
  • Størrelse:
  • 234x156x21 mm.
  • Vægt:
  • 635 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 Typed Lambda Calculi and Applications

Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.

Brugerbedømmelser af Typed Lambda Calculi and Applications



Andre købte også..
Find lignende bøger
Bogen Typed Lambda Calculi and Applications 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.