Auteur : Jean-Jacques Lévy

Photo
       Jean-Jacques Lévy est directeur de recherche à l'Institut National de Recherche en Informatique et Automatique et professeur à l'École 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é.

Ses ouvrages :

Introduction à la théorie des langages de programmation
Auteurs : Gilles Dowek, Jean-Jacques Lévy 
Edition : 2006
En apprendre un peu plus sur cet ouvrage Fiche détaillée
Consulter la Table des Matieres Table des matieres
Consulter l'extrait de l'ouvrage Extrait de l'ouvrage
Ajouter a Ma Commande Diffusion
ISBN : 978-2-7302-1333-2
Tarif : 18.30 €