Auteur : Jean-Jacques Lévy
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 |
|
|||||||||
ISBN : 978-2-7302-1333-2 | ||||||||||
Tarif : 18.30 € |