AKTUELLE PARTNERANGEBOTE

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)

Name: Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)
Brand: H. Simmons
SKU: 11779136

Brand : Cambridge University Press, Binding : Gebundene Ausgabe, Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 412, publicationDate : 2000-05-18, authors : H. Simmons, ISBN : 0521771730

1 Angebote · ab 159,39 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)