Types for Proofs and Programs

Langue : anglais

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2003

354014031X / 9783540140313

Vendeur : Rarewaves.com USA, London, London, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Livre broché

Etat: Neuf

EUR 78,72

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002. The 18 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 Coq and Isar/HOL.

N° de réf. du vendeur LU-9783540140313

Titre
Types for Proofs and Programs
Auteur
Herman Geuvers
Éditeur
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Année de publication
2003
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
354014031X
ISBN à 13 chiffres
9783540140313
Édition
2003 ed.
Poids de l'article
517 grammes
Dimensions
15.49 x 1.98 x 23.5 cm

Rarewaves.com USA

London, London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article9 à 14 jours ouvrés9 à 14 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE