Name: Semantics of Type Theory
Price: 1006.95 DKK
Availability: InStock
Author: T. Streicher
ISBN: 9781461267577

Semantics of Type Theory af T. Streicher

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.006,95 kr.

Bag om Semantics of Type Theory

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

Vis mere

Sprog:
Engelsk

ISBN:
9781461267577

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
299

Udgivet:
29. oktober 2012

Udgave:
11991

Størrelse:
234x156x17 mm.

Vægt:
482 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 28. november 2024

Normalpris

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

Medlemspris

956,95 kr.

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

Bag om T. Streicher

Vis alle bøger af T. Streicher

Beskrivelse af Semantics of Type Theory

Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication.

Brugerbedømmelser af Semantics of Type Theory

Andre købte også..

Find lignende bøger

Bogen Semantics of Type Theory findes i følgende kategorier:

Semantics of Type Theory - T. Streicher - Bog

Bag om T. Streicher

Beskrivelse af Semantics of Type Theory

Brugerbedømmelser af Semantics of Type Theory

Gør som tusindvis af andre bogelskere