Gratis verzending vanaf 59,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 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o...
Volledige beschrijving
Libristo-code: 01559460
?
125 b
125 b
51.63
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.
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
Types for Proofs and Programs
Auteur
Stefano Berardi, Mario Coppo, Ferruccio Damiani
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2004
Aantal pagina's
412
EAN
9783540221647
ISBN
3540221646
Libristo-code
01559460
Uitgeverij
Springer, Berlin
Gewicht
600
Afmetingen
156 x 234 x 22
Categorieën
Technologie, techniek, landbouw, industriële processen
>
Elektronica en communicatietechnologie
>
Elektronicatechnologie
>
Automatische controletechnologie
>
Robotica
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 ontvangerDit vind je misschien ook interessant
/
Gebonden (paperback)
16.46
€
/
Gebonden (paperback)
15.55
€