Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Types for Proofs and Programs Stefano Berardi
Code Libristo: 05274627
Éditeurs Springer, Berlin, novembre 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Description détaillée
? points 125 b
51.49 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio CD Audio
common.buy 16.52 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio CD Audio
common.buy 36.57 €
Zadní pokoj Jorn Lier Horst / Livre Livre relié
common.buy 14.40 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Livre Livre de poche
common.buy 28.81 €
Vive l'Europe ! Bizet Livre Livre de poche
common.buy 16.62 €
Top
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Livre Livre de poche
common.buy 12.89 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Jeu/jouet Jeu
common.buy 13.49 €
AUTOFAGIA VENTURA MEDINA / Livre Livre de poche
common.buy 25.89 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Livre Livre de poche
common.buy 31.94 €
Brainstorming Andrea Windolph / Livre Livre de poche
common.buy 8.96 €
Weidenrute und Schwert Gerwalt Richardson / Livre Livre de poche
common.buy 14.00 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Livre Livre de poche
common.buy 19.64 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Livre Livre de poche
common.buy 14.50 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Livre Livre de poche
common.buy 43.63 €
Ludwig II. Christine Tauber / Livre Livre relié
common.buy 10.77 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Livre Livre de poche
common.buy 17.32 €
Artesanias María Leonor Aguilar García / Livre Livre de poche
common.buy 25.89 €
Musikgeschichte(n) HANS BA LER / Livre binding.
common.buy 34.16 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Livre Livre de poche
common.buy 44.33 €
Die Herren von Greifenklau Karl May / Livre Livre relié
common.buy 24.98 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Types for Proofs and Programs
Auteur Stefano Berardi, Mario Coppo
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1996
Nombre de pages 298
EAN 9783540617808
ISBN 3540617809
Code Libristo 05274627
Éditeurs Springer, Berlin
Poids 474
Dimensions 156 x 234 x 16

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Top
Bones & All Camille DeAngelis / Livre Livre de poche
common.buy 10.37 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Livre Livre de poche
common.buy 58.24 €
Restaurant and Bar Design II Zheng Siyu / Livre Livre relié
common.buy 81.02 €
Seeing Angels Emma Heathcote-James / Livre Livre relié
common.buy 27.00 €
Christmas Wish Gregory Porter / Audio Vinyle audio
common.buy 31.13 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Livre Livre de poche
common.buy 70.84 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Livre Livre relié
common.buy 106.01 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Livre Livre de poche
common.buy 208.51 €
Bientôt
Bloody Provost R.A.J. Tyler / Livre Livre relié
common.buy 21.15 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Livre Livre de poche
common.buy 38.09 €
Struggle for Recognition in International Relations Murray / Livre Livre relié
common.buy 84.45 €
Audio-Vision: Sound on Screen Claudia Gorbman / Livre Livre de poche
common.buy 35.47 €
Industrial Fuels Joseph Stephenson / Livre Livre relié
common.buy 31.53 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Livre Livre de poche
common.buy 17.43 €
Heartbreaker Nick Louth / Livre Livre de poche
common.buy 15.51 €
Selling Modernity Pamela E. Swett / Livre Livre relié
common.buy 180.39 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Livre Livre de poche
common.buy 72.55 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Livre Livre de poche
common.buy 27.40 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Livre Livre relié
common.buy 124.15 €
Biology of Memory G. Adam / Livre Livre de poche
common.buy 51.49 €
Cairo Trilogy Naguib Mahfouz / Livre Livre relié
common.buy 31.53 €
Talk Fiction Irene Kacandes / Livre Livre de poche
common.buy 37.68 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Livre Livre relié
common.buy 146.02 €
Charlatans or Saviours? Roger Middleton / Livre Livre relié
common.buy 222.72 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?