• Tous les prix incluent la TVA.
Il ne reste plus que 5 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon.
Emballage cadeau disponible.
Quantité :1
Introduction à la ... a été ajouté à votre Panier
+ EUR 2,99 (livraison)
D'occasion: Très bon | Détails
Vendu par livrokaz
État: D'occasion: Très bon
Commentaire: Introduction à  la théorie des langages de programmation [Gilles Dowek] Ecole Polytechnique 2006.Broché.
Amazon rachète votre
article EUR 5,95 en chèque-cadeau.
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir cette image

Introduction à la théorie des langages de programmation Broché – 12 octobre 2006


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon Neuf à partir de Occasion à partir de
Broché
"Veuillez réessayer"
EUR 18,30
EUR 18,30 EUR 14,00

Livres et manuels scolaires Livres et manuels scolaires


Offres spéciales et liens associés


Produits fréquemment achetés ensemble

Introduction à la théorie des langages de programmation + Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité + Les métamorphoses du calcul
Prix pour les trois: EUR 45,10

Acheter les articles sélectionnés ensemble

Descriptions du produit

Biographie de l'auteur

Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Jean-Jacques Lévy est directeur de recherche à l'Institut National de Recherche en Informatique et Automatique et professeur à l'Ecole Polytechnique. Il a successivement travaillé sur la sémantique opérationnelle et dénotationnelle des langages de programmation, sur les stratégies de réductions dans le lambda-calcul et les systèmes de réécriture, sur la conception assistée par ordinateur des circuits intégrés et sur la sémantique de la concurrence avec applications pour la distribution et la mobilité.


Vendez cet article - Prix de rachat jusqu'à EUR 5,95
Vendez Introduction à la théorie des langages de programmation contre un chèque-cadeau d'une valeur pouvant aller jusqu'à EUR 5,95, que vous pourrez ensuite utiliser sur tout le site Amazon.fr. Les valeurs de rachat peuvent varier (voir les critères d'éligibilité des produits). En savoir plus sur notre programme de reprise Amazon Rachète.

Détails sur le produit


En savoir plus sur l'auteur

Découvrez des livres, informez-vous sur les écrivains, lisez des blogs d'auteurs et bien plus encore.

Dans ce livre

(En savoir plus)
Parcourir les pages échantillon
Couverture | Copyright | Extrait | Index | Quatrième de couverture
Rechercher dans ce livre:

Commentaires en ligne

Il n'y a pour l'instant aucun commentaire client.
5 étoiles
4 étoiles
3 étoiles
2 étoiles
1 étoiles


Commentaires

Souhaitez-vous compléter ou améliorer les informations sur ce produit ? Ou faire modifier les images?