Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science - Martin Hofmann - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540403326 - 27 maj 2003
Om omslag och titel inte matchar är det titeln som gäller

Martin Hofmann
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Pris
SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.

320 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 27 maj 2003
ISBN13 9783540403326
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 320
Mått 155 × 235 × 17 mm   ·   498 g
Språk Tyska  
Redaktör Hofmann, Martin

Fler produkter med Martin Hofmann

Visa alla

Se alt med Martin Hofmann ( t.ex. Pocketbok , CD , Inbunden Bok och Bok )