- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Diss.
G McCusker, Guy McCusker
€ 151,45
+ 302 punten
Omschrijving
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 208
- Taal:
- Engels
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9783540762553
- Verschijningsdatum:
- 31/07/1998
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 467 g
Alleen bij Standaard Boekhandel
+ 302 punten op je klantenkaart van Standaard Boekhandel
AANGERADEN
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.