Name: Basic Simple Type Theory
Price: 1183.95 DKK
Availability: InStock
Author: J. Roger (University of Wales Hindley
ISBN: 9780521465182

Basic Simple Type Theory af J. Roger (University of Wales Hindley

Du sparer 0% ift. normalprisen Spar 0%

Bag om Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Vis mere

Sprog:
Engelsk

ISBN:
9780521465182

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
200

Udgivet:
31. juli 1997

Størrelse:
236x159x23 mm.

Vægt:
452 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 7. december 2024

På lager

Normalpris

BLACK NOVEMBER
1.183,95 kr. + Fragt
~~1.183,95 kr.~~

Medlemspris

1.133,95 kr.

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

Bag om J. Roger (University of Wales Hindley

Vis alle bøger af J. Roger (University of Wales Hindley

Beskrivelse af Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Brugerbedømmelser af Basic Simple Type Theory

Andre købte også..

Find lignende bøger

Bogen Basic Simple Type Theory findes i følgende kategorier:

Business og læring > Computer og IT

Basic Simple Type Theory - J. Roger (University of Wales Hindley - Bog

Bag om J. Roger (University of Wales Hindley

Beskrivelse af Basic Simple Type Theory

Brugerbedømmelser af Basic Simple Type Theory

Gør som tusindvis af andre bogelskere