Gratis bezorging voor bestellingen boven de 69,99 euro.
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen.
Gratis account aanmaken
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 €
Bpost punt 7.99 €
Bpost 7.49 €
DPD-punt 3.49 €
GLS koerier 4.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.99 €
Bpost punt 7.99 €
Bpost 7.49 €
DPD-punt 3.49 €
GLS koerier 4.99 €
Gratis bezorging met Zásilkovna boven 69.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis bezorging voor bestellingen boven de 69,99 euro.
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School...
Volledige beschrijving
Libristo-code: 01650158
?
125 b
125 b
51.54
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Tot 30 dagen retourrecht
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.
Actrice
&
Polyglot
EWA KASP
voor
Video afspelen
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Informatie over het boek
Volledige naam
Language Engineering and Rigorous Software Development
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2009
Aantal pagina's
301
EAN
9783642031526
ISBN
3642031528
Libristo-code
01650158
Uitgeverij
Springer, Berlin
Gewicht
480
Afmetingen
155 x 17 x 15
Categorieën
Informatica en informatietechnologie
>
Informatica
>
Mens-computerinteractie
>
Informatie-architectuur
Informatica en informatietechnologie
>
Grafische en digitale media-applicaties
>
3D graphics en modellering
Informatica en informatietechnologie
>
Computer hardware
>
Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie
>
Computerprogrammering / softwareontwikkeling
>
Vertaal- en vertolkingsprogramma‘s
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger
Boekadviseur Libroamiko
Door deze chat te gebruiken, communiceer je met generatieve kunstmatige intelligentie. Door het te gebruiken, ga je ook akkoord met de verwerking van persoonsgegevens.
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?
Hoi, ik ben Libroamiko, kan ik helpen?