Analyse statique par interprétation abstraite, X. Rival - pp.371-380Programmation d'un interpréteur abstrait certifié en logique constructive, D. Cachera, D. Pichardie - pp.381-408Expérimentations en Coq pour un générateur de code qualifiable, N. Izerrouken, M. Pantel, X. Thirioux, O. Ssi Yan Kai - pp.409-440Compilation modulaire d'un langage synchrone. Spécification, simulation, implémentation et vérification d'applications synchrones, D. Gaffé, A. Ressouche - pp.441-471
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
L'auteur se glisse en reporter discret au sein de sa propre famille pour en dresser un portrait d'une humanité forte et fragile
Au Rwanda, l'itinéraire d'une femme entre rêve d'idéal et souvenirs destructeurs
Participez et tentez votre chance pour gagner des livres !
